Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450359931

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Perspective on the Dependency Core Calculus

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264823 ◽

2018 ◽

Cited By ~ 2

Author(s):

Maximilian Algehed

Download Full-text

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264826 ◽

2018 ◽

Author(s):

Tomonori Izumida ◽

Akira Mori ◽

Masatomo Hashimoto

Keyword(s):

Binary Code ◽

Context Dependency ◽

Flow Graph ◽

Context Sensitive ◽

Single Assignment

Download Full-text

Prudent Design Principles for Information Flow Control

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264824 ◽

2018 ◽

Cited By ~ 2

Author(s):

Iulia Bastys ◽

Frank Piessens ◽

Andrei Sabelfeld

Keyword(s):

Flow Control ◽

Information Flow ◽

Design Principles ◽

Information Flow Control

Download Full-text

Formal Verification of Differential Privacy

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264829 ◽

2018 ◽

Author(s):

Marco Gaboardi

Keyword(s):

Formal Verification ◽

Differential Privacy

Download Full-text

Binary Similarity Detection Using Machine Learning

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264821 ◽

2018 ◽

Cited By ~ 1

Author(s):

Noam Shalev ◽

Nimrod Partush

Keyword(s):

Machine Learning ◽

Similarity Detection

Download Full-text

Geometric Noise for Locally Private Counting Queries

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264827 ◽

2018 ◽

Cited By ~ 2

Author(s):

Lefki Kacem ◽

Catuscia Palamidessi

Download Full-text

Network Verification

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264828 ◽

2018 ◽

Author(s):

Nate Foster

Keyword(s):

Network Verification

Download Full-text

Sensitivity Analysis of SQL Queries

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264825 ◽

2018 ◽

Cited By ~ 1

Author(s):

Peeter Laud ◽

Martin Pettai ◽

Jaak Randmets

Keyword(s):

Sensitivity Analysis

Download Full-text

Securing Compilation Against Memory Probing

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18 ◽

10.1145/3264820.3264822 ◽

2018 ◽

Cited By ~ 3

Author(s):

Frédéric Besson ◽

Alexandre Dang ◽

Thomas Jensen

Download Full-text

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A Perspective on the Dependency Core Calculus

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

Prudent Design Principles for Information Flow Control

Formal Verification of Differential Privacy

Binary Similarity Detection Using Machine Learning

Geometric Noise for Locally Private Counting Queries

Network Verification

Sensitivity Analysis of SQL Queries

Securing Compilation Against Memory Probing

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security - PLAS '18
Latest Publications