Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

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

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2020 ACM Digital Library

Información

Tipo de recurso:

actas de congreso

ISBN impreso

978-1-4503-8092-8

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

Información sobre derechos de publicación

Copyright © ACM, Inc.

Cobertura temática

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1145/3411506.3417597

Short Paper: Secure Multiparty Logic Programming

Alisa Pankova; Joosep Jääger

Pp. No disponible

doi: 10.1145/3411506.3417598

Short Paper

Ian Sweet; David Darais; Michael Hicks

Pp. No disponible

doi: 10.1145/3411506.3417600

Short Paper: Blockcheck the Typechain

Sergio Benitez; Jonathan Cogan; Alejandro Russo

Pp. No disponible

doi: 10.1145/3433260

Session details: Program Synthesis and Blockchain

Scott Moore

Pp. No disponible

doi: 10.1145/3411506.3417596

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

Kevin Morio; Dennis Jackson; Marco Vassena; Robert Künnemann

Pp. No disponible

doi: 10.1145/3433257

Session details: Invited Talk I

Marco Vassena

Pp. No disponible

doi: 10.1145/3433259

Session details: Invited Talk II

Alley Stoughton

Pp. No disponible

doi: 10.1145/3433258

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

Anitha Gollamudi

Pp. No disponible

doi: 10.1145/3411506.3417602

How APIs Are Both the Illness and the Cure

Jean Yang

Pp. No disponible

doi: 10.1145/3411506.3417601

From Verified Compilation to Secure Compilation: a Semantic Approach

Sandrine Blazy

Pp. No disponible