Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

No abstract is available for this paper.

• Publication year

  2009

• Venue

  IEEE Computer Security Foundations Symposium

• Publication date

  2009-07-08

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/CSF.2009.26
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using static analysis for Ajax intrusion detection

  2009cited by this paper
• Cryptographically sound implementations for typed information-flow security

  2008cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008

  2008influential reference
• Multiparty asynchronous session types

  2008influential reference
• Cryptographic Protocol Explication and End-Point Projection

  2008cited by this paper
• A secure compiler for session abstractions

  2008cited by this paper
• Session-Based Distributed Programming in Java

  2008cited by this paper
• A Protocol Compiler for Secure Sessions in ML

  2007cited by this paper
• Multipoint Session Types for a Distributed Calculus

  2007cited by this paper
• Secure Implementations for Typed Session Abstractions

  2007cited by this paper
• Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

  2007cited by this paper
• Type checking a multithreaded functional language with session types

  2006cited by this paper
• Session Types for Object-Oriented Languages

  2006cited by this paper
• Verified interoperable implementations of security protocols

  2006cited by this paper
• A Distributed Object-Oriented Language with Session Types

  2005cited by this paper
• Fairplay - Secure Two-Party Computation System

  2004cited by this paper
• Using replication and partitioning to build secure distributed systems

  2003cited by this paper
• Types and Subtypes for Client-Server Interactions

  1999cited by this paper
• LANGUAGE PRIMITIVES AND TYPE DISCIPLINE FOR STRUCTURED COMMUNICATION-BASED PROGRAMMING

  1998cited by this paper

• Type-Based Enforcement of Non-Interference for Choreographic Programming

  2026cites this paper
• Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models

  2022cites this paper
• Security Protocols as Choreographies

  2021cites this paper
• Project-Team Moscova Mobility, Security, Concurrency, Verification and Analysis

  2021cites this paper
• Statically verified refinements for multiparty protocols

  2020cites this paper
• Understanding Attestation: Analyzing Protocols that Use Quotes

  2019cites this paper
• Effective and Efficient Forensic Analysis via System Monitoring

  2019cites this paper
• Comprehensive Multiparty Session Types

  2019influential citation
• ChIP: A Choreographic Integration Process

  2018cites this paper
• SAQL: A Stream-based Query System for Real-Time Abnormal System Behavior Detection

  2018cites this paper
• A Survey of Reasoning Methods for Concurrent Systems

  2017cites this paper
• Automated Synthesis of Secure Platform Mappings

  2017cites this paper
• Synthesis of Property-Preserving Platform Mappings

  2017cites this paper
• Formally sound implementations of security protocols with JavaSPI

  2017cites this paper
• Synthesis of Property-Preserving Mappings

  2017cites this paper
• Security protocol specification and verification with AnBx

  2016cites this paper
• Self-adaptation and secure information flow in multiparty communications

  2016cites this paper
• Behavioral Types in Programming Languages

  2016cites this paper
• Automatic generation of high speed elliptic curve cryptography code

  2016cites this paper
• Multiparty Asynchronous Session Types

  2016influential citation
• Developing correct, distributed, adaptive software

  2015cites this paper
• A Gentle Introduction to Multiparty Asynchronous Session Types

  2015cites this paper
• A security scheme for geographic information databases in location based systems

  2015cites this paper
• The Evolution of Jolie - From Orchestrations to Adaptable Choreographies

  2015cites this paper
• Affine Refinement Types for Secure Distributed Programming

  2015cites this paper
• Securing Multiparty Online Services Via Certification of Symbolic Transactions

  2015cites this paper
• Combining behavioural types with security analysis

  2015cites this paper
• 0 Multiparty Asynchronous Session Types

  2015influential citation
• A Practical Approach to Protocol-Agnostic Security for Multiparty Online Services

  2014cites this paper
• Declarative design and enforcement for secure cloud applications

  2014cites this paper
• Establishing and preserving protocol security goals

  2014cites this paper
• Kickstarting Choreographic Programming

  2014cites this paper
• Global progress for dynamically interleaved multiparty sessions

  2014cites this paper
• Typing access control and secure information flow in sessions

  2014cites this paper
• dkal ⋆ : Constructing Executable Specifications of Authorization Protocols

  2013cites this paper
• Deriving session and union types for objects†

  2013cites this paper
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

  2013influential citation
• A Concurrent Programming Language with Refined Session Types

  2013cites this paper
• Logical Foundations of Secure Resource Management in Protocol Implementations

  2013cites this paper
• Sessions and Separability in Security Protocols

  2013cites this paper
• Deadlock-freedom-by-design: multiparty asynchronous global programming

  2013cites this paper
• A concurrent programming language with session types

  2013cites this paper
• Static verification and enforcement of authorization policies

  2013cites this paper
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis

  2012cites this paper
• Formal verification of security protocol implementations: a survey

  2012cites this paper
• On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions

  2012cites this paper
• Types, compilers, and cryptography for secure distributed programming. (Typage, compilation, et cryptographie pour la programmation repartie securisée)

  2012cites this paper
• Verified security protocol modeling and implementation with AnBx

  2012cites this paper
• A Multiparty Multi-session Logic

  2012cites this paper
• BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. (Algorithmes BSP pour la vérification de modèles LTL et CTL* pour les protocoles de sécurité)

  2012cites this paper
• Formally based semi-automatic implementation of an open security protocol

  2012cites this paper
• Self-certification: bootstrapping certified typecheckers in F* with Coq

  2012cites this paper
• Multiparty Session Types as Communicating Automata : Characterisation and Synthesis

  2012cites this paper
• Secure Execution of Distributed Session Programs

  2011cites this paper
• Secure distributed programming with value-dependent types

  2011cites this paper
• Dynamic multirole session types

  2011cites this paper
• Security Goals and Protocol Transformations

  2011cites this paper
• Web Services Verification and Prudent Implementation

  2011cites this paper
• Cryptographic Verification by Typing for a Sample Protocol Implementation

  2011cites this paper
• On Global Types and Multi-Party Session

  2011cites this paper
• Asynchronous Distributed Monitoring for Multiparty Session Enforcement

  2011cites this paper
• Information flow safety in multiparty sessions †

  2011cites this paper
• Scribbling Interactions with a Formal Foundation

  2011cites this paper
• G2C: Cryptographic Protocols from Goal-Driven Specifications

  2011influential citation
• Modular code-based cryptographic verification

  2011cites this paper
• Distributed Orchestration of Web Services under Security Constraints

  2011cites this paper
• JavaSPI: A Framework for Security Protocol Implementation

  2011cites this paper
• Resolution of constraint systems for automatic composition of security-aware Web Services. (Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés)

  2011cites this paper
• Synthèse et compilation de services web sécurisés

  2011cites this paper
• Execution Models for Choreographies and Cryptoprotocols

  2010cites this paper
• Parameterised Multiparty Session Types

  2010cites this paper
• Global Progress and its Inference for Dynamically Interleaved Multiparty Sessions

  2010cites this paper
• Developing security protocols by refinement

  2010cites this paper
• A Theory of Design-by-Contract for Distributed Multiparty Interactions

  2010cites this paper
• AnBx - Security Protocols Design and Verification

  2010cites this paper
• Modular verification of security protocol code by typing

  2010cites this paper
• Typechecking Higher-Order Security Libraries

  2010cites this paper
• Automatic analysis of distance bounding protocols

  2010influential citation
• Pre- and Post-conditions for Security Typechecking

  2010cites this paper
• Type Safety without Subject Reduction for Session Types

  2010cites this paper
• Design and Analysis of Distributed Protocols with AnBx

  2010cites this paper
• Session Types for Access and Information Flow Control

  2010cites this paper
• Principles and Applications of Refinement Types

  2010cites this paper
• Secure Enforcement for Global Process Specifications

  2009cites this paper
• A cryptographic protocol compiler for multiparty sessions

  2009cites this paper
• Sessions and Session Types: An Overview

  2009cites this paper
• Type-checking Implementations of Protocols Based on Zero-knowledge Proofs – Work in Progress –

  2009cites this paper
• The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming

  2009cites this paper
• Choreographies with Secure Boxes and Compromised Principals

  2009cites this paper
• Achieving Security Despite Compromise Using Zero-knowledge

  2009influential citation
• Refinement Types for Secure Implementations

  2008cites this paper
• Global Progress in Dynamically Interleaved Multiparty Sessions

  2008cites this paper
• A choreographic integration process

  year unknowncites this paper
• Information Flow Safety in Multiparty Sessions †

  year unknowncites this paper
• Science of Computer Programming

  year unknowncites this paper
• Self-Certification Bootstrapping Certified Typecheckers in F (cid:63) with Coq

  year unknowncites this paper