James J. Leifer

12 papers A 5B 1Journal 5
YearRankTypeTitle / Venue / Authors
2009 A conf
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
CSF
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
2008 J jnl
A secure compiler for session abstractions.
J. Comput. Secur.
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
2007 J jnl
Acute: High-level programming language design for distributed computation.
J. Funct. Program.
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2007 A conf
Secure Implementations for Typed Session Abstractions.
CSF
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
2006 A conf
Abstraction preservation and subtyping in distributed languages.
ICFP
Pierre-Malo Deniélou, James J. Leifer
2006 J jnl
Transition systems, link graphs and Petri nets.
Math. Struct. Comput. Sci.
James J. Leifer, Robin Milner
2005 A conf
Acute: high-level programming language design for distributed computation.
ICFP
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2003 A conf
Global abstraction-safe marshalling with hash types.
ICFP
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
2002 J jnl
Shallow Linear Action Graphs and their Embeddings.
Formal Aspects Comput.
James J. Leifer, Robin Milner
2001 — —
Operational congruences for reactive systems
James J. Leifer
2000 B conf
Deriving Bisimulation Congruences for Reactive Systems.
CONCUR
James J. Leifer, Robin Milner
1996 J jnl
Deduction for Functional Programmers.
J. Funct. Program.
James J. Leifer, Bernard Sufrin
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski