Michael Roe

IEEE Trans. Computers, 2019

CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety.

[BibT_eX]

[DOI]

Hongyan Xia

Jonathan Woodruff

Sam Ainsworth

Nathaniel Wesley Filardo

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

CheriRTOS: A Capability Model for Embedded Devices.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

2017

Efficient Tagged Memory.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

CHERI JNI: Sinking the Java Security Model into the C.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture.

[BibT_eX]

[DOI]

IEEE Micro, 2016

2015

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

The CHERI capability model: Revisiting RISC in an age of risk.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014

2011

The Metaplace Security Model (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XIX, 2011

The Metaplace Security Model.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XIX, 2011

Production and raw material ordering management for a manufacturing supply chain with uncertainties.

[BibT_eX]

[DOI]

Wei Xu

Dongping Song

Proceedings of the 2011 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2011

2010

Weighting the competitiveness factors for container ports under conflicting interests.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 2010

Censorship of eBooks (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVIII, 2010

Censorship of eBooks (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVIII, 2010

Generating Channel Ids in Virtual World Operating Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVIII, 2010

2009

Privacy-preserving 802.11 access-point discovery.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Conference on Wireless Network Security, 2009

2008

Problems of Provenance for Digital Libraries (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVI, 2008

Problems of Provenance for Digital Libraries.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVI, 2008

Chattering Laptops.

[BibT_eX]

[DOI]

Proceedings of the Privacy Enhancing Technologies, 2008

2007

Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2007

Instructions to Reviewers.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2007

Reconciling Multiple IPsec and Firewall Policies.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2007

Securing network location awareness with authenticated DHCP.

[BibT_eX]

[DOI]

Steven J. Murdoch

Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007

2006

Designing the mobile IPv6 security protocol.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2006

Scanning electronic documents for personally identifiable information.

[BibT_eX]

[DOI]

Thomas A. Kuhn

Proceedings of the 2006 ACM Workshop on Privacy in the Electronic Society, 2006

2005

Non-repudiation and the Metaphysics of Presence.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2005

Experiences with Host-to-Host IPsec.

[BibT_eX]

[DOI]

Anish Mohammed

Proceedings of the Security Protocols, 2005

Reducing Reauthentication Delay in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks, 2005

2003

Panel Session: Is Protocol Modelling Finished?

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

Secure Sessions from Weak Secrets.

[BibT_eX]

[DOI]

Bruce Christianson

David Wheeler

Proceedings of the Security Protocols, 2003

2002

Securing IPv6 neighbor and router discovery.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Workshop on Wireless Security, 2002

Security of Internet Location Management.

[BibT_eX]

[DOI]

Jari Arkko

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2001

Child-proof authentication for MIPv6 (CAM).

[BibT_eX]

[DOI]

Greg O'Shea

Comput. Commun. Rev., 2001

Experiences of Mobile IP Security.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2001

2000

Government Access to Keys - Panel Discussion.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2000

Authentication and Naming (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2000

1999

Performance of Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 1999

Digital Copy Protection Scheme Using Recording Medium Identifier.

[BibT_eX]

[DOI]

Hajime Morito

E. Stewart Lee

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

1998

Certification and Delegation (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 1998

1997

Cryptography and evidence

[BibT_eX]

[DOI]

PhD thesis, 1997

The GCHQ Protocol and Its Problems.

[BibT_eX]

[DOI]

Ross J. Anderson

Proceedings of the Advances in Cryptology, 1997

1996

A Case Study of Secure ATM Switch Booting.

[BibT_eX]

[DOI]

Shaw-Cheng Chuang

Proceedings of the 1996 Symposium on Network and Distributed System Security, 1996

1994

Performance of Block Ciphers and Hash Functions - One Year Later.

[BibT_eX]

[DOI]

Proceedings of the Fast Software Encryption: Second International Workshop. Leuven, 1994

How to Reverse Engineer an EES Device.

[BibT_eX]

[DOI]

Proceedings of the Fast Software Encryption: Second International Workshop. Leuven, 1994

1993

Performance of Symmetric Ciphers and One-Way Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the Fast Software Encryption, 1993

1990

Integrating cryptography in the trusted computing base.

[BibT_eX]

[DOI]