-
1Report
-
2Report
المؤلفون: Chaudhari, Harsh, Severi, Giorgio, Abascal, John, Jagielski, Matthew, Choquette-Choo, Christopher A., Nasr, Milad, Nita-Rotaru, Cristina, Oprea, Alina
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Computation and Language, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2405.20485
-
3Report
مصطلحات موضوعية: Computer Science - Cryptography and Security
URL الوصول: http://arxiv.org/abs/2405.02147
-
4Report
المؤلفون: Torres, Christof Ferreira, Mamuti, Albin, Weintraub, Ben, Nita-Rotaru, Cristina, Shinde, Shweta
مصطلحات موضوعية: Computer Science - Cryptography and Security
URL الوصول: http://arxiv.org/abs/2405.00138
-
5
-
6Report
المؤلفون: von Hippel, Max, Manolios, Panagiotis, McMillan, Kenneth L., Nita-Rotaru, Cristina, Zuck, Lenore
المصدر: EPTCS 393, 2023, pp. 50-66
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Mathematical Software
URL الوصول: http://arxiv.org/abs/2311.08855
-
7Report
المصدر: EPTCS 393, 2023, pp. 113-132
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computers and Society, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Networking and Internet Architecture
URL الوصول: http://arxiv.org/abs/2311.08859
-
8Report
المؤلفون: Heydaribeni, Nasimeh, Zhang, Ruisi, Javidi, Tara, Nita-Rotaru, Cristina, Koushanfar, Farinaz
مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Multiagent Systems
URL الوصول: http://arxiv.org/abs/2308.02747
-
9Report
المؤلفون: Zhou, Xugui, Chen, Anqi, Kouzel, Maxfield, Ren, Haotian, McCarty, Morgan, Nita-Rotaru, Cristina, Alemzadeh, Homa
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2307.08939
-
10Report
مصطلحات موضوعية: Computer Science - Multiagent Systems
URL الوصول: http://arxiv.org/abs/2301.10704
-
11Report
URL الوصول: http://arxiv.org/abs/2301.09732
-
12
-
13Report
-
14Report
المؤلفون: Severi, Giorgio, Jagielski, Matthew, Yar, Gökberk, Wang, Yuxuan, Oprea, Alina, Nita-Rotaru, Cristina
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Machine Learning, Computer Science - Networking and Internet Architecture
URL الوصول: http://arxiv.org/abs/2208.12911
-
15
-
16Report
-
17ReportAutomated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
المؤلفون: Pacheco, Maria Leonor, von Hippel, Max, Weintraub, Ben, Goldwasser, Dan, Nita-Rotaru, Cristina
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2202.09470
-
18Report
-
19Report
-
20Report
المؤلفون: von Hippel, Max, Vick, Cole, Tripakis, Stavros, Nita-Rotaru, Cristina
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory
URL الوصول: http://arxiv.org/abs/2004.01220