From Programs to Z Specifications. - Kevin Lano; Peter T. Breuer (Z User Workshop, 1989)

Z! in Progress: Maintaining Z Specifications. - Peter T. Breuer (Z User Workshop, 1990)

An Analysis/Synthesis Language with Learning Strategies. - Peter T. Breuer (JTASPEFT/WSA, 1991)

Creating specifications from code: Reverse-engineering techniques. - Peter T. Breuer; Kevin Lano (J. Softw. Maintenance Res. Pract., 1991)

The Art of Computer Un-Programming: Reverse Engineering in Prolog. - Peter T. Breuer (Logic Programming Summer School, 1992)

Decompilation is the Efficient Enumeration of Types. - Peter T. Breuer; Jonathan P. Bowen (WSA, 1992)

A compendium of formal techniques for software maintenance. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Softw. Eng. J., 1993)

Formal specifications in software maintenance: from code to Z++ and back again. - Jonathan P. Bowen; Peter T. Breuer; Kevin Lano (Inf. Softw. Technol., 1993)

Reverse-engineering Cobol via formal methods. - Kevin Lano; Peter T. Breuer; Howard P. Haughton (J. Softw. Maintenance Res. Pract., 1993)

Clean formal semantics for VHDL. - Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos (EDAC-ETC-EUROASIC, 1994)

Proof theory and a validation condition generator for VHDL. - Luis Sánchez Fernández 001; Peter T. Breuer; Carlos Delgado Kloos (EURO-DAC, 1994)

Proving Hardware Designs. - Peter T. Breuer; Luis Sánchez 001; Carlos Delgado Kloos (ICLP, 1994)

Towards Correct Executable Semantics for Z. - Peter T. Breuer; Jonathan P. Bowen (Z User Workshop, 1994)

A software maintenance management model based on queueing networks. - Giorgos Papapanagiotakis; Peter T. Breuer (J. Softw. Maintenance Res. Pract., 1994)

Decompilation: The Enumeration of Types and Grammars. - Peter T. Breuer; Jonathan P. Bowen (ACM Trans. Program. Lang. Syst., 1994)

A native process algebra for VHDL. - Peter T. Breuer; Natividad Martínez Madrid (EURO-DAC, 1995)

A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL. - Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos (Formal Methods Syst. Des., 1995)

A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. - Peter T. Breuer; Jonathan P. Bowen (Softw. Pract. Exp., 1995)

A Formal Method for Specification and Refinement of Real-Time Systems. - Peter T. Breuer; Natividad Martínez Madrid; Luis Sánchez 001; Andrés Marín; Carlos Delgado Kloos (RTS, 1996)

A refinement calculus for VHDL. - Peter T. Breuer; Carlos Delgado Kloos; Natividad Martínez Madrid; Luis Sánchez 001; Andrés Marín (EURO-DAC, 1996)

A semantic model for VHDL-AMS. - Natividad Martínez Madrid; Peter T. Breuer; Carlos Delgado Kloos (CHARME, 1997)

A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. - Peter T. Breuer; Carlos Delgado Kloos; Andrés Marín López; Natividad Martínez Madrid; Luis Sánchez Fernández 001 (ACM Trans. Program. Lang. Syst., 1997)

The Computational Description of Analogue System Behaviour. - Peter T. Breuer; Natividad Martínez Madrid; Carlos Delgado Kloos (Prospects for Hardware Foundations, 1998)

Reasoning about VHDL and VHDL-AMS using Denotational Semantics. - Peter T. Breuer; Natividad Martínez Madrid; Jonathan P. Bowen; Robert B. France; Maria M. Larrondo-Petrie; Carlos Delgado Kloos (DATE, 1999)

JCCM: Flexible Certificates for Smartcards with Java Card. - Celeste Campo; Andrés Marín López; Arturo García; Ignacio Díaz; Peter T. Breuer; Carlos Delgado Kloos; Carlos García (E-smart, 2001)

Higher Order Applicative XML Documents. - Peter T. Breuer; Carlos Delgado Kloos; Vicente Luque Centeno; Luis Sánchez Fernández 001 (RISSEF, 2002)

Automation of the Deep Web with User Defined Behaviours. - Vicente Luque Centeno; Carlos Delgado Kloos; Peter T. Breuer; Luis Sánchez Fernández 001; Ma. Eugenia Gonzalo Cabellos; Juan Antonio Herráiz Pérez (AWIC, 2003)

Fault-Tolerant Distributed Mass Storage for LHC Computing. - Arne Wiebalck; Peter T. Breuer; Volker Lindenstruth; Timm M. Steinbeck (CCGRID, 2003)

A Formal Model for the Block Device Subsystem of the Linux Kernel. - Peter T. Breuer (ICFEM, 2003)

Building Wrapper Agents for the Deep Web. - Vicente Luque Centeno; Luis Sánchez Fernández 001; Carlos Delgado Kloos; Peter T. Breuer; Fernando Paniagua Martín (ICWE, 2003)

MSC-based Language for Specifying Automated Web Clients. - Vicente Luque Centeno; Peter T. Breuer; Luis Sánchez Fernández 001; Carlos Delgado Kloos; Juan Antonio Herráiz Pérez (ISCC, 2003)

Static Deadlock Detection in the Linux Kernel. - Peter T. Breuer; Marisol García-Valls (Ada-Europe, 2004)

Dependable Networked RAID for the Open Source Community. - Peter T. Breuer; Arne Wiebalck (ICPADS (1), 2005)

Intelligent Networked Software RAID. - Peter T. Breuer; Arne Wiebalck (Parallel and Distributed Computing and Networks, 2005)

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. - Peter T. Breuer; Simon Pickin 001 (Ada-Europe, 2006)

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. - Peter T. Breuer; Simon Pickin 001 (International Conference on Computational Science (4), 2006)

Verification in the Large via Symbolic Approximation. - Peter T. Breuer; Simon Pickin 001 (ISoLA, 2006)

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. - Peter T. Breuer; Simon Pickin 001; María M. Larrondo-Petrie (SEW, 2006)

Symbolic approximation: an approach to verification in the large. - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2006)

Raiding the Noosphere: the open development of networked RAID support for the Linux kernel. - Peter T. Breuer; Marisol García-Valls (Softw. Pract. Exp., 2006)

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. - Peter T. Breuer; Simon Pickin 001 (SEW, 2007)

Approximate verification in an open source world. - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2008)

Special issue: Open Source Certification. - Ernesto Damiani; Luís Soares Barbosa; Peter T. Breuer; Claudio A. Ardagna (Comput. Syst. Sci. Eng., 2010)

Open Source Verification under a Cloud. - Peter T. Breuer; Simon Pickin 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A formal nethod (a networked formal method). - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2010)

Typed Assembler for a RISC Crypto-Processor. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2012)

A Fully Homomorphic Crypto-Processor Design. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2013)

Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. - Peter T. Breuer; Jonathan P. Bowen (SEFM Workshops, 2013)

Soundness and Completeness of the NRB Verification Logic. - Peter T. Breuer; Simon Pickin 001 (SEFM Workshops, 2013)

Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2013)

Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. - Peter T. Breuer; Jonathan P. Bowen (ESSoS, 2014)

Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2014)

Empirical Patterns in Google Scholar Citation Counts. - Peter T. Breuer; Jonathan P. Bowen (SOSE, 2014)

On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2014)

Open source verification in an anonymous volunteer network. - Peter T. Breuer; Simon Pickin 001 (Sci. Comput. Program., 2014)

Processor Rescue - Safe Coding for Hardware Aliasing. - Peter T. Breuer; Jonathan P. Bowen; Simon Pickin 001 (SoMeT, 2015)

A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here. - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2015)

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. - Peter T. Breuer; Jonathan P. Bowen (ANT/SEIT, 2016)

A Practical Encrypted Microprocessor. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (SECRYPT, 2016)

On the Security of Practical and Complete Homomorphic Encrypted Computation. - Peter T. Breuer; Jonathan P. Bowen (IACR Cryptol. ePrint Arch., 2016)

Superscalar Encrypted RISC: A Secret Computer in Simulation. - Peter T. Breuer; Jonathan P. Bowen (IACR Cryptol. ePrint Arch., 2016)

Encrypted computing: Speed, security and provable obfuscation against insiders. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (ICCST, 2017)

On Obfuscating Compilation for Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (SECRYPT, 2017)

An Obfuscating Compiler. - Peter T. Breuer (IACR Cryptol. ePrint Arch., 2017)

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (EuroS&P Workshops, 2018)

On Security in Encrypted Computing. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (ICICS, 2018)

Superscalar Encrypted RISC: The Measure of a Secret Computer. - Peter T. Breuer; Jonathan P. Bowen; Esther Palomar; Zhiming Liu 001 (TrustCom/BigDataSE, 2018)

(Un)Encrypted Computing and Indistinguishability Obfuscation. - Peter T. Breuer; Jonathan P. Bowen (CoRR, 2018)

A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. - Peter T. Breuer; Simon J. Pickin (FM Workshops (2), 2019)

Safe Compilation for Hidden Deterministic Hardware Aliasing. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2019)

Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. - Peter T. Breuer; Jonathan P. Bowen (ISSRE Workshops, 2019)

Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing. - Peter T. Breuer (CoRR, 2019)

Compiled Obfuscation for Data Structures in Encrypted Computing. - Peter T. Breuer (CoRR, 2019)

Safe and Chaotic Compilation for Hidden Deterministic Hardware Aliasing. - Peter T. Breuer (CoRR, 2019)

An Information Obfuscation Calculus for Encrypted Computing. - Peter T. Breuer (IACR Cryptol. ePrint Arch., 2019)

Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name. - Peter T. Breuer (IACR Cryptol. ePrint Arch., 2019)

Safe Compilation for Encrypted Computing. - Peter T. Breuer; Simon Pickin 001 (IACR Cryptol. ePrint Arch., 2019)

Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. - Peter T. Breuer; Jonathan P. Bowen (Int. J. Crit. Comput. Based Syst., 2019)

Formal Methods Communities of Practice: A Survey of Personal Experience. - Jonathan P. Bowen; Peter T. Breuer (SEFM Workshops, 2021)

An Obfuscating C Compiler for Encrypted Computing. - Peter T. Breuer (CoRR, 2021)

High Speed Encrypted Computing: Stochastic Confusion and Lies in a Secret Computer. - Peter T. Breuer (DSC, 2022)