Alex Ozdemir
发表
Kyle D. Julian,
C. Barrett,
Sadjad Fouladi,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Clark W. Barrett,
C. Barrett,
C. Tinelli,
2022,
TACAS.
P. Hanrahan,
Sadjad Fouladi,
Keith Winstein,
2022,
ACM Trans. Graph..
Dan Boneh,
Alex Ozdemir,
D. Boneh,
2021,
IACR Cryptol. ePrint Arch..
Dan Boneh,
Alex Ozdemir,
Wilson Nguyen,
2021,
IACR Cryptol. ePrint Arch..
Clark W. Barrett,
Haoze Wu,
Alex Ozdemir,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Alex Ozdemir,
R. Wahby,
Fraser Brown,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
Fraser Brown,
Riad S. Wahby,
Alex Ozdemir,
2020,
IACR Cryptol. ePrint Arch..
Corina S. Pasareanu,
Guy Katz,
Haoze Wu,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Dan Boneh,
Riad S. Wahby,
Alex Ozdemir,
2019,
IACR Cryptol. ePrint Arch..
Clark W. Barrett,
C. Tinelli,
Alex Ozdemir,
2022,
IJCAR.
Alex Ozdemir,
Wenting Zheng,
R. Wahby,
2023,
2023 IEEE Symposium on Security and Privacy (SP).
Clark W. Barrett,
C. Tinelli,
Alex Ozdemir,
2023,
IACR Cryptol. ePrint Arch..