On the Secure Implementation of Security Protocols
Abstract elided by the publisher.
976 papers · page 35 of 49
A Simple Language for Real-Time Cryptographic Protocol Analysis
Abstract elided by the publisher.
Modeling Web Interactions
Abstract elided by the publisher.
Type Error Slicing in Implicitly Typed Higher-Order Languages
Abstract elided by the publisher.
Handling Encryption in an Analysis for Secure Information Flow
Abstract elided by the publisher.
Computer Security from a Programming Language and Static Analysis Perspective
Abstract elided by the publisher.
Type Inference for a Distributed pi-Calculus
Abstract elided by the publisher.
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
Abstract elided by the publisher.
The Rely-Guarantee Method in Isabelle/HOL
Abstract elided by the publisher.
Register Allocation by Proof Transformation
Abstract elided by the publisher.
Correctness of Data Representations Involving Heap Data Structures
Abstract elided by the publisher.
Finite Differencing of Logical Formulas for Static Analysis
Abstract elided by the publisher.
Rule Formats for Non Interference
Abstract elided by the publisher.
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract elided by the publisher.
Building Certified Libraries for PCC: Dynamic Storage Allocation
Abstract elided by the publisher.
Another Type System for In-Place Update
Abstract elided by the publisher.
Soft Concurrent Constraint Programming
Abstract elided by the publisher.
Finite-Control Mobile Ambients
Abstract elided by the publisher.
Dependency Analysis of Mobile Systems
We propose an Abstract Interpretation-based static analysis for automatically detecting the dependencies between the names linked to the agents of a mobile system. We focus our study on the mobile systems written in the ?-calculus. We first refine the standard semantics in order …
Thread-Modular Verification for Shared-Memory Programs
Abstract elided by the publisher.