المؤلفون: Yao, Siqiu, Ni, Haobin, Myers, Andrew C., Cecchetti, Ethan

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2407.01204Test

المؤلفون: Künnemann, Robert, Patrignani, Marco, Cecchetti, Ethan

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2401.15041Test

المؤلفون: Arden, Owen, Gollamudi, Anitha, Cecchetti, Ethan, Chong, Stephen, Myers, Andrew C.

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages, F.3.1, F.3.2, D.4.6

الوصول الحر: http://arxiv.org/abs/2104.10379Test

المؤلفون: Cecchetti, Ethan, Yao, Siqiu, Ni, Haobin, Myers, Andrew C.

المصدر: Proceedings of the 2021 IEEE Symposium on Security and Privacy (SP)

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages, D.4.6

الوصول الحر: http://arxiv.org/abs/2103.08577Test

المؤلفون: Hirsch, Andrew K., Cecchetti, Ethan

المصدر: Proceedings of the ACM on Programming Languages 5, POPL, Article 35 (January 2021)

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security, D.4.6, F.3.2

الوصول الحر: http://arxiv.org/abs/2010.13191Test

المؤلفون: Hirsch, Andrew K., de Amorim, Pedro H. Azevedo, Cecchetti, Ethan, Tate, Ross, Arden, Owen

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2001.10630Test

المؤلفون: Crooks, Natacha, Burke, Matthew, Cecchetti, Ethan, Harel, Sitar, Agarwal, Rachit, Alvisi, Lorenzo

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Cryptography and Security

الوصول الحر: http://arxiv.org/abs/1809.10559Test

المؤلفون: Silver, Lucas, He, Paul, Cecchetti, Ethan, Hirsch, Andrew K., Zdancewic, Steve

المساهمون: Lucas Silver and Paul He and Ethan Cecchetti and Andrew K. Hirsch and Steve Zdancewic

مصطلحات موضوعية: verification, information-flow, denotational semantics, monads

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023); urn:nbn:de:0030-drops-182227; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.29Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2023.29Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-182227Test

المؤلفون: Cecchetti, Ethan, Myers, Andrew C., Arden, Owen

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages, D.4.6

الوصول الحر: http://arxiv.org/abs/1708.08596Test

المؤلفون: Silver, Lucas, He, Paul, Cecchetti, Ethan, Hirsch, Andrew K., Zdancewic, Steve

المساهمون: Lucas Silver and Paul He and Ethan Cecchetti and Andrew K. Hirsch and Steve Zdancewic

مصطلحات موضوعية: verification, information-flow, denotational semantics, monads

وصف الملف: application/pdf

العلاقة: Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023); urn:nbn:de:0030-drops-182465; https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.6Test

الإتاحة: https://doi.org/10.4230/DARTS.9.2.6Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-182465Test