2024
Towards a Polynomial Instruction Based Compiler for Fully Homomorphic Encryption Accelerators.
IACR Cryptol. ePrint Arch., 2024
SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024
2023
High-precision RNS-CKKS on fixed but smaller word-size architectures: theory and application.
,
,
,
,
,
,
,
,
,
,
,
,
,
IACR Cryptol. ePrint Arch., 2023
2022
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022
2019
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.
Proceedings of the 28th USENIX Security Symposium, 2019
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX.
Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, 2019
2018
Formally Verified Hardware/Software Co-Design for Remote Attestation.
CoRR, 2018
Private Data Objects: an Overview.
CoRR, 2018
Integrating Remote Attestation with Transport Layer Security.
CoRR, 2018
2015
Rich Queries on Encrypted Data: Beyond Exact Matches.
IACR Cryptol. ePrint Arch., 2015
2014
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation.
IACR Cryptol. ePrint Arch., 2014
2013
Outsourced Symmetric Private Information Retrieval.
IACR Cryptol. ePrint Arch., 2013
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries.
IACR Cryptol. ePrint Arch., 2013
2010
Composable Security Analysis of OS Services.
IACR Cryptol. ePrint Arch., 2010
Designing a Side Channel Resistant Random Number Generator.
Proceedings of the Smart Card Research and Advanced Application, 2010
2009
Risks of the CardSpace Protocol.
Proceedings of the Information Security, 12th International Conference, 2009
2008
SMash: secure component model for cross-domain mashups on unmodified browsers.
Proceedings of the 17th International Conference on World Wide Web, 2008
2006
Mitigating Dictionary Attacks on Password-Protected Local Storage.
IACR Cryptol. ePrint Arch., 2006
2005
A Privacy-Protecting Coupon System.
Proceedings of the Financial Cryptography and Data Security, 2005
2004
Hardness amplification of weakly verifiable puzzles.
IACR Cryptol. ePrint Arch., 2004
2003
Regional knowledge networks as evolving social technologies.
Int. J. Technol. Manag., 2003
2002
Secure group key agreement.
PhD thesis, 2002
Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference.
IACR Cryptol. ePrint Arch., 2002
Polynomial Fairness and Liveness.
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002
2001
Secure password-based cipher suite for TLS.
ACM Trans. Inf. Syst. Secur., 2001
Three-party encrypted key exchange without server public-keys.
IEEE Commun. Lett., 2001
2000
Key Agreement in Dynamic Peer Groups.
IEEE Trans. Parallel Distributed Syst., 2000
Design, implementation, and deployment of the iKP secure electronic payment system.
IEEE J. Sel. Areas Commun., 2000
New multiparty authentication services and key agreement protocols.
IEEE J. Sel. Areas Commun., 2000
State of the art in electronic payment systems.
Adv. Comput., 2000
1999
Authenticating public terminals.
Comput. Networks, 1999
1998
Designing a Generic Payment Service.
IBM Syst. J., 1998
Towards a Framework for Handling Disputes in Payment Systems.
Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31, 1998
CLIQUES: A New Approach to Group Key Agreement.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
Authenticated Group Key Agreement and Friends.
Proceedings of the CCS '98, 1998
1996
Diffie-Hellman Key Distribution Extended to Group Communication.
Proceedings of the CCS '96, 1996
1995
Refinement and Extension of Encrypted Key Exchange.
ACM SIGOPS Oper. Syst. Rev., 1995
Generic Extensions of WWW Browsers.
Proceedings of the First USENIX Workshop on Electronic Commerce, 1995
iKP - A Family of Secure Electronic Payment Protocols.
Proceedings of the First USENIX Workshop on Electronic Commerce, 1995