Peter T. Breuer

According to our database, Peter T. Breuer authored at least 81 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

High Speed Encrypted Computing: Stochastic Confusion and Lies in a Secret Computer.

Peter T. Breuer

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2022

2021

An Obfuscating C Compiler for Encrypted Computing.

Peter T. Breuer

CoRR, 2021

Formal Methods Communities of Practice: A Survey of Personal Experience.

Jonathan P. Bowen, Peter T. Breuer

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

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

Safe Compilation for Encrypted Computing.

Peter T. Breuer, Simon Pickin

IACR Cryptol. ePrint Arch., 2019

Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name.

Peter T. Breuer

IACR Cryptol. ePrint Arch., 2019

An Information Obfuscation Calculus for Encrypted Computing.

Peter T. Breuer

IACR Cryptol. ePrint Arch., 2019

Safe and Chaotic Compilation for Hidden Deterministic Hardware Aliasing.

Peter T. Breuer

CoRR, 2019

Compiled Obfuscation for Data Structures in Encrypted Computing.

Peter T. Breuer

CoRR, 2019

Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing.

Peter T. Breuer

CoRR, 2019

Chaotic Compilation: A (Statistical) Cloak for a Secret Computer.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Safe Compilation for Hidden Deterministic Hardware Aliasing.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics.

Peter T. Breuer, Simon J. Pickin

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

(Un)Encrypted Computing and Indistinguishability Obfuscation.

Peter T. Breuer, Jonathan P. Bowen

CoRR, 2018

Superscalar Encrypted RISC: The Measure of a Secret Computer.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 17th IEEE International Conference On Trust, 2018

On Security in Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the Information and Communications Security - 20th International Conference, 2018

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017

An Obfuscating Compiler.

Peter T. Breuer

IACR Cryptol. ePrint Arch., 2017

On Obfuscating Compilation for Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Encrypted computing: Speed, security and provable obfuscation against insiders.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the International Carnahan Conference on Security Technology, 2017

2016

Superscalar Encrypted RISC: A Secret Computer in Simulation.

Peter T. Breuer, Jonathan P. Bowen

IACR Cryptol. ePrint Arch., 2016

On the Security of Practical and Complete Homomorphic Encrypted Computation.

Peter T. Breuer, Jonathan P. Bowen

IACR Cryptol. ePrint Arch., 2016

A Practical Encrypted Microprocessor.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here.

Peter T. Breuer, Jonathan P. Bowen

CoRR, 2015

Processor Rescue - Safe Coding for Hardware Aliasing.

Peter T. Breuer, Jonathan P. Bowen, Simon Pickin

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

2014

Open source verification in an anonymous volunteer network.

Peter T. Breuer, Simon Pickin

Sci. Comput. Program., 2014

On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?

Peter T. Breuer, Jonathan P. Bowen

CoRR, 2014

Empirical Patterns in Google Scholar Citation Counts.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing

Peter T. Breuer, Jonathan P. Bowen

CoRR, 2013

Soundness and Completeness of the NRB Verification Logic.

Peter T. Breuer, Simon Pickin

Proceedings of the Software Engineering and Formal Methods, 2013

Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Software Engineering and Formal Methods, 2013

A Fully Homomorphic Crypto-Processor Design.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Typed Assembler for a RISC Crypto-Processor.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2010

A formal nethod (a networked formal method).

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2010

Open Source Verification under a Cloud.

Peter T. Breuer, Simon Pickin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Special issue: Open Source Certification.

Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio A. Ardagna

Comput. Syst. Sci. Eng., 2010

2008

Approximate verification in an open source world.

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2008

2007

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.

Peter T. Breuer, Simon Pickin

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

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

Symbolic approximation: an approach to verification in the large.

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2006

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.

Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Verification in the Large via Symbolic Approximation.

Peter T. Breuer, Simon Pickin

Proceedings of the Leveraging Applications of Formal Methods, 2006

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.

Peter T. Breuer, Simon Pickin

Proceedings of the Computational Science, 2006

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.

Peter T. Breuer, Simon Pickin

Proceedings of the Reliable Software Technologies, 2006

2005

Intelligent Networked Software RAID.

Peter T. Breuer, Arne Wiebalck

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

Dependable Networked RAID for the Open Source Community.

Peter T. Breuer, Arne Wiebalck

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004

Static Deadlock Detection in the Linux Kernel.

Peter T. Breuer, Marisol García-Valls

Proceedings of the Reliable Software Technologies, 2004

2003

MSC-based Language for Specifying Automated Web Clients.

Vicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Building Wrapper Agents for the Deep Web.

Vicente Luque Centeno, Luis Sánchez Fernández, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martín

Proceedings of the Web Engineering, International Conference, 2003

A Formal Model for the Block Device Subsystem of the Linux Kernel.

Peter T. Breuer

Proceedings of the Formal Methods and Software Engineering, 2003

Fault-Tolerant Distributed Mass Storage for LHC Computing.

Arne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck

Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003

Automation of the Deep Web with User Defined Behaviours.

Vicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez

Proceedings of the Web Intelligence, 2003

2002

Higher Order Applicative XML Documents.

Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

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

Proceedings of the Smart Card Programming and Security, 2001

1999

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

Proceedings of the 1999 Design, 1999

1998

The Computational Description of Analogue System Behaviour.

Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

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

ACM Trans. Program. Lang. Syst., 1997

A semantic model for VHDL-AMS.

Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

A refinement calculus for VHDL.

Peter T. Breuer, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín

Proceedings of the conference on European design automation, 1996

A Formal Method for Specification and Refinement of Real-Time Systems.

Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

A PREttier Compiler-Compiler: Generating Higher-order Parsers in C.

Peter T. Breuer, Jonathan P. Bowen

Softw. Pract. Exp., 1995

A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL.

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos

Formal Methods Syst. Des., 1995

A native process algebra for VHDL.

Peter T. Breuer, Natividad Martínez Madrid

Proceedings of the Proceedings EURO-DAC'95, 1995

1994

Decompilation: The Enumeration of Types and Grammars.

Peter T. Breuer, Jonathan P. Bowen

ACM Trans. Program. Lang. Syst., 1994

A software maintenance management model based on queueing networks.

Giorgos Papapanagiotakis, Peter T. Breuer

J. Softw. Maintenance Res. Pract., 1994

Towards Correct Executable Semantics for Z.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Proving Hardware Designs.

Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos

Proceedings of the Logic Programming, 1994

Proof theory and a validation condition generator for VHDL.

Luis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos

Proceedings of the Proceedings EURO-DAC'94, 1994

Clean formal semantics for VHDL.

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1993

Reverse-engineering Cobol via formal methods.

Kevin Lano, Peter T. Breuer, Howard P. Haughton

J. Softw. Maintenance Res. Pract., 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

A compendium of formal techniques for software maintenance.

Jonathan P. Bowen, Peter T. Breuer, Kevin Lano

Softw. Eng. J., 1993

1992

Decompilation <i>is</i> the Efficient Enumeration of Types.

Peter T. Breuer, Jonathan P. Bowen

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

The Art of Computer Un-Programming: Reverse Engineering in Prolog.

Peter T. Breuer

Proceedings of the Logic Programming in Action, 1992

1991

Creating specifications from code: Reverse-engineering techniques.

Peter T. Breuer, Kevin Lano

J. Softw. Maintenance Res. Pract., 1991

An Analysis/Synthesis Language with Learning Strategies.

Peter T. Breuer

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1990

Z! in Progress: Maintaining Z Specifications.

Peter T. Breuer

Proceedings of the Z User Workshop, 1990

1989

From Programs to Z Specifications.

Kevin Lano, Peter T. Breuer

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989