{"id":659292,"date":"2020-05-15T14:42:41","date_gmt":"2020-05-15T21:42:41","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=659292"},"modified":"2025-08-06T11:52:52","modified_gmt":"2025-08-06T18:52:52","slug":"ieee-symposium-on-security-privacy","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/ieee-symposium-on-security-privacy\/","title":{"rendered":"IEEE Symposium on S&P"},"content":{"rendered":"\n\n

Website:<\/strong> IEEE Symposium on S&P (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is proud to be a Platinum sponsor of\u00a0the\u00a041st\u00a0IEEE Symposium on Security and Privacy (opens in new tab)<\/span><\/a>. See our published papers and presentations below.<\/p>\n

Program Committee Members<\/h3>\n

Melissa Chase<\/a>
\nWeidong Cui<\/a>
\nMarcus Peinado<\/a>
\nElissa\u00a0Redmiles<\/a>
\nSrinath Setty<\/a><\/p>\n

<\/div>\n

Monday, May 18<\/h2>\n

9:30 AM\u201310:50 AM PDT | Session #1: Microarchitectural Security | Room 1<\/h3>\n

Spectector: Principled Detection of Speculative Information Flows<\/b><\/a>
\nMarco Guarnieri, Boris K\u00f6pf<\/a>,\u00a0Jos\u00e9 Morales, Jan\u00a0Reineke, Andr\u00e9s S\u00e1nchez<\/p>\n

9:30 AM\u201310:50 AM PDT | Session #1: Blockchain I\u00a0| Room 2<\/h3>\n

Replicated State Machines Without Replicated Execution<\/b><\/a>
\nJonathan Lee<\/a>,\u00a0Kirill\u00a0Nikitin,\u00a0Srinath Setty<\/a><\/p>\n

11:20 AM\u201312:20 PM PDT | Session #2: Machine Learning and Privacy\u00a0| Room 3<\/h3>\n

CrypTFlow: Secure TensorFlow Inference<\/b><\/a>
\nNishant Kumar (opens in new tab)<\/span><\/a>, Mayank\u00a0Rathee (opens in new tab)<\/span><\/a>, Nishanth Chandran<\/a>,\u00a0Divya\u00a0Gupta<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Rahul Sharma<\/a><\/p>\n

\n

Tuesday, May 19<\/h2>\n

8:10 AM\u20139:30 AM PDT\u00a0| Session #4: Memory Safety | Room 1<\/h3>\n

Cornucopia: Temporal Safety for CHERI Heaps<\/b><\/a>
\nNathaniel Wesley Filardo,\u00a0Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin,\u00a0David Chisnall<\/a>,\u00a0Jessica Clarke,\u00a0Khilan\u00a0Gudka, Alexandre\u00a0Joannou, A. Theodore\u00a0Markettos, Alfredo\u00a0Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson<\/p>\n

10:00 AM\u201311:20 AM PDT\u00a0| Session #5:\u00a0Rowhammer\u00a0| Room 2<\/h3>\n

Are We Susceptible to\u00a0Rowhammer? An End-to-End Methodology for Cloud Providers<\/b><\/a>
\nLucian\u00a0Cojocar (opens in new tab)<\/span><\/a>,\u00a0Jeremie Kim, Minesh Patel, Lillian Tsai,\u00a0Stefan\u00a0Saroiu<\/a>,\u00a0Alec Wolman<\/a>,\u00a0Onur Mutlu<\/p>\n

12:30 PM\u20131:50 PM PDT\u00a0| Session #6: Formal Verification | Room 3<\/h3>\n

EverCrypt: A Fast, Verified, Cross-Platform\u00a0Crytographic\u00a0Provider<\/b><\/a>
\nJonathan\u00a0Protzenko<\/a>, Bryan\u00a0Parno, Aymeric Fromherz,\u00a0Chris\u00a0Hawblitzel<\/a>,\u00a0Marina\u00a0Polubelova, Karthikeyan\u00a0Bhargavan, Benjamin\u00a0Beurdouche,\u00a0Joonwon\u00a0Choi (opens in new tab)<\/span><\/a>,\u00a0Antione\u00a0Delignat-Lavaud (opens in new tab)<\/span><\/a>, C\u00e9dric Fournet<\/a>,\u00a0Natalia\u00a0Kulatova,\u00a0Tahina\u00a0Ramananandro<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Nikhil Swamy<\/a>, Christoph\u00a0Wintersteiger<\/a>, Santiago Zanella-Beguelin<\/a>Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is proud to be a Platinum sponsor of\u00a0the\u00a041st\u00a0IEEE Symposium on Security and Privacy. The event will be held virtually this year on May 18-20, 2020.<\/p>\n","protected":false},"featured_media":498056,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2020-05-18","msr_enddate":"2020-05-20","msr_location":"Virtual\/Online","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":true,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13558],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-659292","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-security-privacy-cryptography","msr-region-global","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"\n\n

Website:<\/strong> IEEE Symposium on S&P (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is proud to be a Platinum sponsor of\u00a0the\u00a041st\u00a0IEEE Symposium on Security and Privacy<\/a>. See our published papers and presentations below.<\/p>\n

Program Committee Members<\/h3>\n

Melissa Chase<\/a>
\nWeidong Cui<\/a>
\nMarcus Peinado<\/a>
\nElissa\u00a0Redmiles<\/a>
\nSrinath Setty<\/a><\/p>\n

<\/div>\n

Monday, May 18<\/h2>\n

9:30 AM\u201310:50 AM PDT | Session #1: Microarchitectural Security | Room 1<\/h3>\n

Spectector: Principled Detection of Speculative Information Flows<\/b><\/a>
\nMarco Guarnieri, Boris K\u00f6pf<\/a>,\u00a0Jos\u00e9 Morales, Jan\u00a0Reineke, Andr\u00e9s S\u00e1nchez<\/p>\n

9:30 AM\u201310:50 AM PDT | Session #1: Blockchain I\u00a0| Room 2<\/h3>\n

Replicated State Machines Without Replicated Execution<\/b><\/a>
\nJonathan Lee<\/a>,\u00a0Kirill\u00a0Nikitin,\u00a0Srinath Setty<\/a><\/p>\n

11:20 AM\u201312:20 PM PDT | Session #2: Machine Learning and Privacy\u00a0| Room 3<\/h3>\n

CrypTFlow: Secure TensorFlow Inference<\/b><\/a>
\nNishant Kumar<\/a>, Mayank\u00a0Rathee<\/a>, Nishanth Chandran<\/a>,\u00a0Divya\u00a0Gupta<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Rahul Sharma<\/a><\/p>\n

\n

Tuesday, May 19<\/h2>\n

8:10 AM\u20139:30 AM PDT\u00a0| Session #4: Memory Safety | Room 1<\/h3>\n

Cornucopia: Temporal Safety for CHERI Heaps<\/b><\/a>
\nNathaniel Wesley Filardo,\u00a0Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin,\u00a0David Chisnall<\/a>,\u00a0Jessica Clarke,\u00a0Khilan\u00a0Gudka, Alexandre\u00a0Joannou, A. Theodore\u00a0Markettos, Alfredo\u00a0Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson<\/p>\n

10:00 AM\u201311:20 AM PDT\u00a0| Session #5:\u00a0Rowhammer\u00a0| Room 2<\/h3>\n

Are We Susceptible to\u00a0Rowhammer? An End-to-End Methodology for Cloud Providers<\/b><\/a>
\nLucian\u00a0Cojocar<\/a>,\u00a0Jeremie Kim, Minesh Patel, Lillian Tsai,\u00a0Stefan\u00a0Saroiu<\/a>,\u00a0Alec Wolman<\/a>,\u00a0Onur Mutlu<\/p>\n

12:30 PM\u20131:50 PM PDT\u00a0| Session #6: Formal Verification | Room 3<\/h3>\n

EverCrypt: A Fast, Verified, Cross-Platform\u00a0Crytographic\u00a0Provider<\/b><\/a>
\nJonathan\u00a0Protzenko<\/a>, Bryan\u00a0Parno, Aymeric Fromherz,\u00a0Chris\u00a0Hawblitzel<\/a>,\u00a0Marina\u00a0Polubelova, Karthikeyan\u00a0Bhargavan, Benjamin\u00a0Beurdouche,\u00a0Joonwon\u00a0Choi<\/a>,\u00a0Antione\u00a0Delignat-Lavaud<\/a>, C\u00e9dric Fournet<\/a>,\u00a0Natalia\u00a0Kulatova,\u00a0Tahina\u00a0Ramananandro<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Nikhil Swamy<\/a>, Christoph\u00a0Wintersteiger<\/a>, Santiago Zanella-Beguelin<\/a>Opens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"Microsoft is proud to be a Platinum sponsor of\u00a0the\u00a041st\u00a0IEEE Symposium on Security and Privacy<\/a>. See our published papers and presentations below.\r\n

Program Committee Members<\/h3>\r\nMelissa Chase<\/a>\r\nWeidong Cui<\/a>\r\nMarcus Peinado<\/a>\r\nElissa\u00a0Redmiles<\/a>\r\nSrinath Setty<\/a>\r\n
<\/div>\r\n

Monday, May 18<\/h2>\r\n

9:30 AM\u201310:50 AM PDT | Session #1: Microarchitectural Security | Room 1<\/h3>\r\nSpectector: Principled Detection of Speculative Information Flows<\/b><\/a>\r\nMarco Guarnieri, Boris K\u00f6pf<\/a>,\u00a0Jos\u00e9 Morales, Jan\u00a0Reineke, Andr\u00e9s S\u00e1nchez\r\n

9:30 AM\u201310:50 AM PDT | Session #1: Blockchain I\u00a0| Room 2<\/h3>\r\nReplicated State Machines Without Replicated Execution<\/b><\/a>\r\nJonathan Lee<\/a>,\u00a0Kirill\u00a0Nikitin,\u00a0Srinath Setty<\/a>\r\n

11:20 AM\u201312:20 PM PDT | Session #2: Machine Learning and Privacy\u00a0| Room 3<\/h3>\r\nCrypTFlow: Secure TensorFlow Inference<\/b><\/a>\r\nNishant Kumar<\/a>, Mayank\u00a0Rathee<\/a>, Nishanth Chandran<\/a>,\u00a0Divya\u00a0Gupta<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Rahul Sharma<\/a>\r\n\r\n
\r\n\r\n

Tuesday, May 19<\/h2>\r\n

8:10 AM\u20139:30 AM PDT\u00a0| Session #4: Memory Safety | Room 1<\/h3>\r\nCornucopia: Temporal Safety for CHERI Heaps<\/b><\/a>\r\nNathaniel Wesley Filardo,\u00a0Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin,\u00a0David Chisnall<\/a>,\u00a0Jessica Clarke,\u00a0Khilan\u00a0Gudka, Alexandre\u00a0Joannou, A. Theodore\u00a0Markettos, Alfredo\u00a0Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson\r\n

10:00 AM\u201311:20 AM PDT\u00a0| Session #5:\u00a0Rowhammer\u00a0| Room 2<\/h3>\r\nAre We Susceptible to\u00a0Rowhammer? An End-to-End Methodology for Cloud Providers<\/b><\/a>\r\nLucian\u00a0Cojocar<\/a>,\u00a0Jeremie Kim, Minesh Patel, Lillian Tsai,\u00a0Stefan\u00a0Saroiu<\/a>,\u00a0Alec Wolman<\/a>,\u00a0Onur Mutlu\r\n

12:30 PM\u20131:50 PM PDT\u00a0| Session #6: Formal Verification | Room 3<\/h3>\r\nEverCrypt: A Fast, Verified, Cross-Platform\u00a0Crytographic\u00a0Provider<\/b><\/a>\r\nJonathan\u00a0Protzenko<\/a>, Bryan\u00a0Parno, Aymeric Fromherz,\u00a0Chris\u00a0Hawblitzel<\/a>,\u00a0Marina\u00a0Polubelova, Karthikeyan\u00a0Bhargavan, Benjamin\u00a0Beurdouche,\u00a0Joonwon\u00a0Choi<\/a>,\u00a0Antione\u00a0Delignat-Lavaud<\/a>, C\u00e9dric Fournet<\/a>,\u00a0Natalia\u00a0Kulatova,\u00a0Tahina\u00a0Ramananandro<\/a>,\u00a0Aseem\u00a0Rastogi<\/a>, Nikhil Swamy<\/a>, Christoph\u00a0Wintersteiger<\/a>, Santiago Zanella-Beguelin<\/a>"}],"msr_startdate":"2020-05-18","msr_enddate":"2020-05-20","msr_event_time":"","msr_location":"Virtual\/Online","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"May 18, 2020","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"\"Security,","event_excerpt":"Microsoft is proud to be a Platinum sponsor of\u00a0the\u00a041st\u00a0IEEE Symposium on Security and Privacy. The event will be held virtually this year on May 18-20, 2020.","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/659292","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":5,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/659292\/revisions"}],"predecessor-version":[{"id":1146965,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/659292\/revisions\/1146965"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/498056"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=659292"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=659292"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=659292"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=659292"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=659292"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=659292"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=659292"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=659292"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=659292"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}