Personensuche
X
?
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
1
FastVer2: A Provably Correct Monitor for Concurrent, Key-Va..:
, In:
?
Proceedings of the 2021 International Conference on Management of Data ,
2
FastVer: Making Data Integrity a Commodity:
, In:
?
Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data ,
3
Azure SQL Database Always Encrypted:
, In:
?
Proceedings of the 2019 International Conference on Management of Data ,
6
BlockchainDB - Towards a Shared Database on Blockchains:
, In:
?
Proceedings of the 2017 ACM International Conference on Management of Data ,
7
Concerto : A High Concurrency Key-Value Store with Integ..:
, In:
?
Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data ,
8
Querying encrypted data:
, In:
?
Proceedings of the 22nd ACM international conference on Information & Knowledge Management ,
9
Efficient parsing-based search over structured data:
, In:
?
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data ,
10
Secure database-as-a-service with Cipherbase:
, In:
?
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data ,
13
Data generation using declarative constraints:
, In:
?
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data ,
14
On indexing error-tolerant set containment:
, In:
?
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data ,
15