Malozemoff, Alex J.
19  results:
Search for persons X
?
1

Security Foundations for Application-Based Covert Communica..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),
 
?
2

Towards a Formal Treatment of Logic Locking:

Beerel, Peter ; Georgiou, Marios ; Hamlin, Ben..
IACR Transactions on Cryptographic Hardware and Embedded Systems.  , 2022
 
?
3

$$\mathsf {Mac'n'Cheese}$$: Zero-Knowledge Proofs for Boole..:

, In: Advances in Cryptology – CRYPTO 2021; Lecture Notes in Computer Science,
 
?
4

Public-Key Function-Private Hidden Vector Encryption (and M..:

, In: Lecture Notes in Computer Science; Advances in Cryptology – ASIACRYPT 2019,
Bartusek, James ; Carmer, Brent ; Jain, Abhishek... - p. 489-519 , 2019
 
?
5

RAMPARTS : A Programmer-Friendly System for Building Hom..:

, In: Proceedings of the 7th ACM Workshop on Encrypted Computing & Applied Homomorphic Cryptography,
 
?
6

Building Applications with Homomorphic Encryption:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Hallman, Roger A. ; Laine, Kim ; Dai, Wei... - p. 2160-2162 , 2018
 
?
7

5Gen-C : Multi-input Functional Encryption and Program O..:

, In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,
 
?
8

Attribute-based Key Exchange with General Policies:

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

5Gen : A Framework for Prototyping Applications Using Mu..:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
Lewi, Kevin ; Malozemoff, Alex J. ; Apon, Daniel... - p. 981-992 , 2016
 
?
10

Automated Analysis and Synthesis of Authenticated Encryptio..:

, In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security,
 
?
13

Towards a Formal Treatment of Logic Locking:

Beerel, Peter ; Georgiou, Marios ; Hamlin, Ben..
https://tches.iacr.org/index.php/TCHES/article/view/9482/9023.  , 2022
 
?
15

Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithme..:

Baum, Carsten ; Malozemoff, Alex J ; Scholl, Peter.
Baum , C , Malozemoff , A J , Scholl , P & Rosen , M 2021 , Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions . in Advances in Cryptology - CRYPTO 2021 : Proceedings . Springer , pp. 92-122 , Annual International Cryptology Conference , 16/08/2021 . https://doi.org/10.1007/978-3-030-84259-8_4.  , 2021
 
1-15