Search for persons
X
?
Proceedings of the 2017 Symposium on Cloud Computing ,
11
Secure data types : a simple abstraction for confidentia..:
, In:
?
Proceedings of the Seventh ACM Symposium on Cloud Computing ,
12
STYX : Stream Processing with Trustworthy Cloud-based Ex..:
, In:
?
Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala ,
13
SecureScala: Scala embedding of secure computations:
, In:
?
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering ,
15