Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Martín Abadi

The Applied Pi Calculus

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2018English

A Model of Dynamic Separation for Transactional Memory

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Just Fast Keying in the Pi Calculus

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2007English

Taming the Adversary

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Theory of Primitive Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Authentication in Distributed Systems

Operating Systems Review (ACM)
HardwareComputer NetworksInformation SystemsArchitectureCommunications
1991English

A Logic for Parametric Polymorphism

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy