Proceedings of the 15th Workshop on Programming Languages and Analysis for Security
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 12)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450380928

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Short Paper: Blockcheck the Typechain

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417600 ◽

2020 ◽

Author(s):

Sergio Benitez ◽

Jonathan Cogan ◽

Alejandro Russo

Keyword(s):

Short Paper

Download Full-text

Session details: Types for Gradual Security and Verification of Security Protocols

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3433258 ◽

2020 ◽

Author(s):

Anitha Gollamudi

Keyword(s):

Security Protocols

Download Full-text

Session details: Invited Talk I

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3433257 ◽

2020 ◽

Author(s):

Marco Vassena

Download Full-text

Short Paper: Secure Multiparty Logic Programming

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417597 ◽

2020 ◽

Author(s):

Alisa Pankova ◽

Joosep Jääger

Keyword(s):

Logic Programming ◽

Short Paper

Download Full-text

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417599 ◽

2020 ◽

Author(s):

Lauren Labell ◽

Jared Chandler ◽

Kathleen Fisher

Keyword(s):

Binary Data ◽

Automatic Discovery

Download Full-text

Short Paper: Modular Black-box Runtime Verification of Security Protocols

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417596 ◽

2020 ◽

Author(s):

Kevin Morio ◽

Dennis Jackson ◽

Marco Vassena ◽

Robert Künnemann

Keyword(s):

Security Protocols ◽

Black Box ◽

Runtime Verification ◽

Short Paper

Download Full-text

Short Paper: Weak Runtime-Irrelevant Typing for Security

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417595 ◽

2020 ◽

Author(s):

Matthías Páll Gissurarson ◽

Agustín Mista

Keyword(s):

Short Paper

Download Full-text

Short Paper

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417598 ◽

2020 ◽

Author(s):

Ian Sweet ◽

David Darais ◽

Michael Hicks

Keyword(s):

Short Paper

Download Full-text

From Verified Compilation to Secure Compilation: a Semantic Approach

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3411506.3417601 ◽

2020 ◽

Author(s):

Sandrine Blazy

Keyword(s):

Semantic Approach

Download Full-text

Session details: Program Synthesis and Blockchain

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ◽

10.1145/3433260 ◽

2020 ◽

Author(s):

Scott Moore

Keyword(s):

Program Synthesis

Download Full-text

Proceedings of the 15th Workshop on Programming Languages and Analysis for SecurityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Short Paper: Blockcheck the Typechain

Session details: Types for Gradual Security and Verification of Security Protocols

Session details: Invited Talk I

Short Paper: Secure Multiparty Logic Programming

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples

Short Paper: Modular Black-box Runtime Verification of Security Protocols

Short Paper: Weak Runtime-Irrelevant Typing for Security

Short Paper

From Verified Compilation to Secure Compilation: a Semantic Approach

Session details: Program Synthesis and Blockchain

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security
Latest Publications