| 2008 |
|---|
| 37 | EE | Tom Ridge,
Michael Norrish,
Peter Sewell:
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.
FM 2008: 294-309 |
| 2007 |
|---|
| 36 | EE | Peter Sewell,
Francesco Zappa Nardelli,
Scott Owens,
Gilles Peskine,
Tom Ridge,
Susmit Sarkar,
Rok Strnisa:
Ott: effective tool support for the working semanticist.
ICFP 2007: 1-12 |
| 35 | EE | Rok Strnisa,
Peter Sewell,
Matthew J. Parkinson:
The java module system: core design and semantic definition.
OOPSLA 2007: 499-514 |
| 34 | EE | Gareth Stoyle,
Michael W. Hicks,
Gavin M. Bierman,
Peter Sewell,
Iulian Neamtiu:
Mutatis Mutandis: Safe and predictable dynamic software updating.
ACM Trans. Program. Lang. Syst. 29(4): (2007) |
| 2006 |
|---|
| 33 | EE | Adam Biltcliffe,
Michael Dales,
Sam Jansen,
Tom Ridge,
Peter Sewell:
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
ICNP 2006: 117-126 |
| 32 | EE | John Billings,
Peter Sewell,
Mark R. Shinwell,
Rok Strnisa:
Type-safe distributed programming for OCaml.
ML 2006: 20-31 |
| 31 | EE | Steve Bishop,
Matthew Fairbairn,
Michael Norrish,
Peter Sewell,
Michael Smith,
Keith Wansbrough:
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.
POPL 2006: 55-66 |
| 30 | EE | Peter Sewell:
Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics).
Electr. Notes Theor. Comput. Sci. 162: 317-321 (2006) |
| 2005 |
|---|
| 29 | EE | Peter Sewell,
James J. Leifer,
Keith Wansbrough,
Francesco Zappa Nardelli,
Mair Allen-Williams,
Pierre Habouzit,
Viktor Vafeiadis:
Acute: high-level programming language design for distributed computation.
ICFP 2005: 15-26 |
| 28 | EE | Gareth Stoyle,
Michael W. Hicks,
Gavin M. Bierman,
Peter Sewell,
Iulian Neamtiu:
Mutatis mutandis: safe and predictable dynamic software updating.
POPL 2005: 183-194 |
| 27 | EE | Steve Bishop,
Matthew Fairbairn,
Michael Norrish,
Peter Sewell,
Michael Smith,
Keith Wansbrough:
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.
SIGCOMM 2005: 265-276 |
| 26 | EE | Brian E. Aydemir,
Aaron Bohannon,
Matthew Fairbairn,
J. Nathan Foster,
Benjamin C. Pierce,
Peter Sewell,
Dimitrios Vytiniotis,
Geoffrey Washburn,
Stephanie Weirich,
Steve Zdancewic:
Mechanized Metatheory for the Masses: The PoplMark Challenge.
TPHOLs 2005: 50-65 |
| 25 | EE | Andrei Serjantov,
Peter Sewell:
Passive-attack analysis for connection-based anonymity systems.
Int. J. Inf. Sec. 4(3): 172-180 (2005) |
| 2004 |
|---|
| 24 | EE | Moritz Y. Becker,
Peter Sewell:
Cassandra: Flexible Trust Management, Applied to Electronic Health Records.
CSFW 2004: 139-154 |
| 23 | EE | Moritz Y. Becker,
Peter Sewell:
Cassandra: Distributed Access Control Policies with Tunable Expressiveness.
POLICY 2004: 159-168 |
| 22 | EE | Gian Luca Cattani,
Peter Sewell:
Models for name-passing processes: interleaving and causal.
Inf. Comput. 190(2): 136-178 (2004) |
| 2003 |
|---|
| 21 | EE | Andrei Serjantov,
Peter Sewell:
Passive Attack Analysis for Connection-Based Anonymity Systems.
ESORICS 2003: 116-131 |
| 20 | EE | James J. Leifer,
Gilles Peskine,
Peter Sewell,
Keith Wansbrough:
Global abstraction-safe marshalling with hash types.
ICFP 2003: 87-98 |
| 19 | EE | Gavin M. Bierman,
Michael W. Hicks,
Peter Sewell,
Gareth Stoyle,
Keith Wansbrough:
Dynamic rebinding for marshalling and update, with destruct-time?
ICFP 2003: 99-110 |
| 18 | | Peter Sewell,
Jan Vitek:
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality.
Journal of Computer Security 11(2): 135-188 (2003) |
| 2002 |
|---|
| 17 | EE | Michael Norrish,
Peter Sewell,
Keith Wansbrough:
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets.
ACM SIGOPS European Workshop 2002: 49-53 |
| 16 | EE | Keith Wansbrough,
Michael Norrish,
Peter Sewell,
Andrei Serjantov:
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.
ESOP 2002: 278-294 |
| 15 | EE | Peter Sewell:
From rewrite rules to bisimulation congruences.
Theor. Comput. Sci. 274(1-2): 183-230 (2002) |
| 2001 |
|---|
| 14 | EE | Asis Unyapoth,
Peter Sewell:
Nomadic pict: correct communication infrastructure for mobile computation.
POPL 2001: 116-127 |
| 13 | EE | Peter Sewell:
Modules, abstract types, and distributed versioning.
POPL 2001: 236-247 |
| 12 | EE | Andrei Serjantov,
Peter Sewell,
Keith Wansbrough:
The UDP Calculus: Rigorous Semantics for Real Networking.
TACS 2001: 535-559 |
| 2000 |
|---|
| 11 | EE | Peter Sewell,
Jan Vitek:
Secure Composition of Untrusted Code: Wrappers and Causality Types.
CSFW 2000: 269-284 |
| 10 | EE | Gian Luca Cattani,
Peter Sewell:
Models for Name-Passing Processes: Interleaving and Causal.
LICS 2000: 322-332 |
| 9 | EE | Peter Sewell:
Preface.
Electr. Notes Theor. Comput. Sci. 41(2): (2000) |
| 1999 |
|---|
| 8 | EE | Pawel T. Wojciechowski,
Peter Sewell:
Nomadic Pict: Language and Infrastructure Design for Mobile Agents.
ASA/MA 1999: 2-12 |
| 7 | EE | Peter Sewell,
Jan Vitek:
Secure Composition of Insecure Components.
CSFW 1999: 136-150 |
| 1998 |
|---|
| 6 | EE | Peter Sewell:
From Rewrite to Bisimulation Congruences.
CONCUR 1998: 269-284 |
| 5 | EE | Peter Sewell:
Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.
ICALP 1998: 695-706 |
| 4 | EE | Peter Sewell,
Pawel T. Wojciechowski,
Benjamin C. Pierce:
Location-Independent Communication for Mobile Agents: A Two-Level Architecture.
ICCL Workshop: Internet Programming Languages 1998: 1-31 |
| 1997 |
|---|
| 3 | | Peter Sewell:
On Implementations and Semantics of a Concurrent Programming Language.
CONCUR 1997: 391-405 |
| 2 | | Peter Sewell:
Nonaxiomatisability of Equivalences over Finite State Processes.
Ann. Pure Appl. Logic 90(1-3): 163-191 (1997) |
| 1994 |
|---|
| 1 | | Peter Sewell:
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable
LICS 1994: 62-70 |
