DuBuisson, Thomas
214  results:
Search for persons X
?
1

Tutorial: Static Analysis at Scale with Muse:

, In: 2020 IEEE Secure Development (SecDev),
 
?
2

IP protection for graphical user interfaces in the EU, US a..:

Dubuisson, Thomas
Journal of Intellectual Property Law & Practice.  10 (2015)  10 - p. 767-774 , 2015
 
?
3

Programming languages for high-assurance autonomous vehicle..:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification,
Pike, Lee ; Hickey, Patrick ; Bielman, James... - p. 1-2 , 2014
 
?
4

Efficient lookup-table protocol in secure multiparty comput..:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,
 
?
6

On the Use of the Correlation between Acoustic Descriptors ..:

Dubuisson, Thomas ; Dutoit, Thierry ; Gosselin, Bernard.
EURASIP Journal on Advances in Signal Processing.  2009 (2009)  1 - p. , 2009
 
?
7

RAMCESS 2.X framework—expressive voice analysis for realtim..:

d'Alessandro, Nicolas ; Babacan, Onur ; Bozkurt, Baris...
Journal on Multimodal User Interfaces.  2 (2008)  2 - p. 133-144 , 2008
 
?
8

What Else is Revealed by Order-Revealing Encryption?:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
 
?
 
1-15