\n
\n\n \n \n \n \n \n \n Tainted Secure Multi-Execution to Restrict Attacker Influence.\n \n \n \n \n\n\n \n McCall, M.; Bichhawat, A.; and Jia, L.\n\n\n \n\n\n\n In Meng, W.; Jensen, C. D.; Cremers, C.; and Kirda, E., editor(s),
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pages 1732–1745, 2023. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ccs/McCallB023,\n author = {McKenna McCall and\n Abhishek Bichhawat and\n Limin Jia},\n editor = {Weizhi Meng and\n Christian Damsgaard Jensen and\n Cas Cremers and\n Engin Kirda},\n title = {Tainted Secure Multi-Execution to Restrict Attacker Influence},\n booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and\n Communications Security, {CCS} 2023, Copenhagen, Denmark, November\n 26-30, 2023},\n pages = {1732--1745},\n publisher = {{ACM}},\n year = {2023},\n url = {https://doi.org/10.1145/3576915.3623110},\n doi = {10.1145/3576915.3623110},\n timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ccs/McCallB023.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n
\n\n \n \n \n \n \n \n Layered Symbolic Security Analysis in $}{\\}textsf \\{DY\\}{^}{\\}star {$.\n \n \n \n \n\n\n \n Bhargavan, K.; Bichhawat, A.; Hosseyni, P.; Küsters, R.; Pruiksma, K.; Schmitz, G.; Waldmann, C.; and Würtele, T.\n\n\n \n\n\n\n In Tsudik, G.; Conti, M.; Liang, K.; and Smaragdakis, G., editor(s),
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, volume 14346, of
Lecture Notes in Computer Science, pages 3–21, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/esorics/BhargavanBHKPSWW23,\n author = {Karthikeyan Bhargavan and\n Abhishek Bichhawat and\n Pedram Hosseyni and\n Ralf K{\\"{u}}sters and\n Klaas Pruiksma and\n Guido Schmitz and\n Clara Waldmann and\n Tim W{\\"{u}}rtele},\n editor = {Gene Tsudik and\n Mauro Conti and\n Kaitai Liang and\n Georgios Smaragdakis},\n title = {Layered Symbolic Security Analysis in {\\textdollar}{\\textbackslash}textsf\n \\{DY\\}{\\^{}}{\\textbackslash}star {\\textdollar}},\n booktitle = {Computer Security - {ESORICS} 2023 - 28th European Symposium on Research\n in Computer Security, The Hague, The Netherlands, September 25-29,\n 2023, Proceedings, Part {III}},\n series = {Lecture Notes in Computer Science},\n volume = {14346},\n pages = {3--21},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-51479-1\\_1},\n doi = {10.1007/978-3-031-51479-1\\_1},\n timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/esorics/BhargavanBHKPSWW23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n
\n\n \n \n \n \n \n \n Layered Symbolic Security Analysis in DY$}{^}{\\}star{$.\n \n \n \n \n\n\n \n Bhargavan, K.; Bichhawat, A.; Hosseyni, P.; Küsters, R.; Pruiksma, K.; Schmitz, G.; Waldmann, C.; and Würtele, T.\n\n\n \n\n\n\n
IACR Cryptol. ePrint Arch.,1329. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/iacr/BhargavanBHKPSWW23,\n author = {Karthikeyan Bhargavan and\n Abhishek Bichhawat and\n Pedram Hosseyni and\n Ralf K{\\"{u}}sters and\n Klaas Pruiksma and\n Guido Schmitz and\n Clara Waldmann and\n Tim W{\\"{u}}rtele},\n title = {Layered Symbolic Security Analysis in DY{\\textdollar}{\\^{}}{\\textbackslash}star{\\textdollar}},\n journal = {{IACR} Cryptol. ePrint Arch.},\n pages = {1329},\n year = {2023},\n url = {https://eprint.iacr.org/2023/1329},\n timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iacr/BhargavanBHKPSWW23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n