PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alley Stoughton, Marco Vassena, editors, PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. ACM, 2020. [doi]

Conference: ccs2020

Abstract is missing.

From Verified Compilation to Secure Compilation: a Semantic ApproachSandrine Blazy. 1 [doi]

Short Paper: Secure Multiparty Logic ProgrammingAlisa Pankova, Joosep Jääger. 3-7 [doi]

Short Paper: Probabilistically Almost-Oblivious ComputationIan Sweet, David Darais, Michael Hicks 0001. 9-12 [doi]

Short Paper: Weak Runtime-Irrelevant Typing for SecurityMatthías Páll Gissurarson, Agustín Mista. 13-17 [doi]

Short Paper: Modular Black-box Runtime Verification of Security ProtocolsKevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann. 19-22 [doi]

How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web ApplicationsJean Yang. 23 [doi]

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data SamplesLauren Labell, Jared Chandler, Kathleen Fisher. 25-34 [doi]

Short Paper: Blockcheck the TypechainSergio Benitez, Jonathan Cogan, Alejandro Russo. 35-39 [doi]

runs on WebDSL