Search for persons
X
?
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification ,
3
Programming languages for high-assurance autonomous vehicle..:
, In:
?
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming ,
4
Efficient lookup-table protocol in secure multiparty comput..:
, In:
?
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security ,
8
What Else is Revealed by Order-Revealing Encryption?:
, In:
?
Proceedings of the 2012 Haskell Symposium ,
9