Peter T. Breuer

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 25

Top Topics

Homomorphic Encryption

Sampling Theorem

Central Processing Unit

Top Venues

IACR Cryptol. ePrint Arch.

ISSRE Workshops

Publications

Peter T. Breuer
High Speed Encrypted Computing: Stochastic Confusion and Lies in a Secret Computer. DSC (2022)
Jonathan P. Bowen, Peter T. Breuer
Formal Methods Communities of Practice: A Survey of Personal Experience. SEFM Workshops (2021)
Peter T. Breuer
An Obfuscating C Compiler for Encrypted Computing. CoRR (2021)
Peter T. Breuer, Simon J. Pickin
A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. FM Workshops (2) (2019)
Peter T. Breuer
Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name. IACR Cryptol. ePrint Arch. 2019 (2019)
Peter T. Breuer, Jonathan P. Bowen
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer. ISSRE Workshops (2019)
Peter T. Breuer
Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing. CoRR (2019)
Peter T. Breuer
Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name. CoRR (2019)
Peter T. Breuer, Jonathan P. Bowen
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Peter T. Breuer
Compiled Obfuscation for Data Structures in Encrypted Computing. CoRR (2019)
Peter T. Breuer, Simon Pickin
Safe Compilation for Encrypted Computing. IACR Cryptol. ePrint Arch. 2019 (2019)
Peter T. Breuer, Jonathan P. Bowen
Safe Compilation for Hidden Deterministic Hardware Aliasing. ISSRE Workshops (2019)
Peter T. Breuer
Safe and Chaotic Compilation for Hidden Deterministic Hardware Aliasing. CoRR (2019)
Peter T. Breuer
An Information Obfuscation Calculus for Encrypted Computing. IACR Cryptol. ePrint Arch. 2019 (2019)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Security in Encrypted Computing. ICICS (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. EuroS&P Workshops (2018)
Peter T. Breuer, Jonathan P. Bowen
(Un)Encrypted Computing and Indistinguishability Obfuscation. CoRR (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST (2017)
Peter T. Breuer
An Obfuscating Compiler. IACR Cryptol. ePrint Arch. 2017 (2017)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Obfuscating Compilation for Encrypted Computing. SECRYPT (2017)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
A Practical Encrypted Microprocessor. SECRYPT (2016)
Peter T. Breuer, Jonathan P. Bowen
On the Security of Practical and Complete Homomorphic Encrypted Computation. IACR Cryptol. ePrint Arch. 2016 (2016)
Peter T. Breuer, Jonathan P. Bowen
Superscalar Encrypted RISC: A Secret Computer in Simulation. IACR Cryptol. ePrint Arch. 2016 (2016)
Peter T. Breuer, Jonathan P. Bowen
A Fully Encrypted Microprocessor The Secret Computer is Nearly Here. ANT/SEIT (2016)
Peter T. Breuer, Jonathan P. Bowen
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here. CoRR (2015)
Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
Processor Rescue - Safe Coding for Hardware Aliasing. SoMeT (2015)
Peter T. Breuer, Jonathan P. Bowen
Empirical Patterns in Google Scholar Citation Counts. SOSE (2014)
Peter T. Breuer, Jonathan P. Bowen
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe? CoRR (2014)
Peter T. Breuer, Jonathan P. Bowen
Empirical Patterns in Google Scholar Citation Counts. CoRR (2014)
Peter T. Breuer, Jonathan P. Bowen
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. ISSRE Workshops (2014)
Peter T. Breuer, Simon Pickin
Open source verification in an anonymous volunteer network. Sci. Comput. Program. 91 (2014)
Peter T. Breuer, Jonathan P. Bowen
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. ESSoS (2014)
Peter T. Breuer, Simon Pickin
Soundness and Completeness of the NRB Verification Logic. SEFM Workshops (2013)
Peter T. Breuer, Jonathan P. Bowen
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky. SEFM Workshops (2013)
Peter T. Breuer, Jonathan P. Bowen
A Fully Homomorphic Crypto-Processor Design. ESSoS (2013)
Peter T. Breuer, Simon Pickin
Soundness and Completeness of the NRB Verification Logic. CoRR (2013)
Peter T. Breuer, Jonathan P. Bowen
Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing CoRR (2013)
Peter T. Breuer, Jonathan P. Bowen
Typed Assembler for a RISC Crypto-Processor. ESSoS (2012)
Peter T. Breuer, Simon Pickin
Open Source Verification under a Cloud. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio Agostino Ardagna
Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25 (4) (2010)
Peter T. Breuer, Simon Pickin
A formal nethod (a networked formal method). Innov. Syst. Softw. Eng. 6 (4) (2010)
Peter T. Breuer, Simon Pickin
Approximate verification in an open source world. Innov. Syst. Softw. Eng. 4 (1) (2008)
Peter T. Breuer, Simon Pickin
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. SEW (2007)
Peter T. Breuer, Simon Pickin
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. International Conference on Computational Science (4) (2006)
Peter T. Breuer, Simon Pickin
Symbolic approximation: an approach to verification in the large. Innov. Syst. Softw. Eng. 2 (3-4) (2006)
Peter T. Breuer, Marisol García-Valls
Raiding the Noosphere: the open development of networked RAID support for the Linux kernel. Softw. Pract. Exp. 36 (4) (2006)
Peter T. Breuer, Simon Pickin
Verification in the Large via Symbolic Approximation. ISoLA (2006)
Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. SEW (2006)
Peter T. Breuer, Simon Pickin
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. Ada-Europe (2006)
Peter T. Breuer, Arne Wiebalck
Dependable Networked RAID for the Open Source Community. ICPADS (1) (2005)
Peter T. Breuer, Arne Wiebalck
Intelligent Networked Software RAID. Parallel and Distributed Computing and Networks (2005)
Peter T. Breuer, Marisol García-Valls
Static Deadlock Detection in the Linux Kernel. Ada-Europe (2004)
Vicente Luque Centeno, Luis Sánchez Fernández, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martín
Building Wrapper Agents for the Deep Web. ICWE (2003)
Arne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck
Fault-Tolerant Distributed Mass Storage for LHC Computing. CCGRID (2003)
Vicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez
MSC-based Language for Specifying Automated Web Clients. ISCC (2003)
Peter T. Breuer
A Formal Model for the Block Device Subsystem of the Linux Kernel. ICFEM (2003)
Vicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez
Automation of the Deep Web with User Defined Behaviours. AWIC (2003)
Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández
Higher Order Applicative XML Documents. RISSEF (2002)
Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García
JCCM: Flexible Certificates for Smartcards with Java Card. E-smart (2001)
Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos
Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE (1999)
Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
The Computational Description of Analogue System Behaviour. Prospects for Hardware Foundations (1998)
Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. ACM Trans. Program. Lang. Syst. 19 (4) (1997)
Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos
A semantic model for VHDL-AMS. CHARME (1997)
Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos
A Formal Method for Specification and Refinement of Real-Time Systems. RTS (1996)
Peter T. Breuer, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín
A refinement calculus for VHDL. EURO-DAC (1996)
Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL. Formal Methods Syst. Des. 7 (1/2) (1995)
Peter T. Breuer, Jonathan P. Bowen
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. Softw. Pract. Exp. 25 (11) (1995)
Peter T. Breuer, Natividad Martínez Madrid
A native process algebra for VHDL. EURO-DAC (1995)
Peter T. Breuer, Jonathan P. Bowen
Towards Correct Executable Semantics for Z. Z User Workshop (1994)
Luis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos
Proof theory and a validation condition generator for VHDL. EURO-DAC (1994)
Giorgos Papapanagiotakis, Peter T. Breuer
A software maintenance management model based on queueing networks. J. Softw. Maintenance Res. Pract. 6 (2) (1994)
Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
Clean formal semantics for VHDL. EDAC-ETC-EUROASIC (1994)
Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos
Proving Hardware Designs. ICLP (1994)
Peter T. Breuer, Jonathan P. Bowen
Decompilation: The Enumeration of Types and Grammars. ACM Trans. Program. Lang. Syst. 16 (5) (1994)
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
and back again. Inf. Softw. Technol. 35 (11-12) (1993)
Kevin Lano, Peter T. Breuer, Howard P. Haughton
Reverse-engineering Cobol via formal methods. J. Softw. Maintenance Res. Pract. 5 (1) (1993)
Jonathan P. Bowen, Peter T. Breuer, Kevin Lano
A compendium of formal techniques for software maintenance. Softw. Eng. J. 8 (5) (1993)
Peter T. Breuer, Jonathan P. Bowen
the Efficient Enumeration of Types. WSA (1992)
Peter T. Breuer
The Art of Computer Un-Programming: Reverse Engineering in Prolog. Logic Programming Summer School (1992)
Peter T. Breuer
An Analysis/Synthesis Language with Learning Strategies. JTASPEFT/WSA (1991)
Peter T. Breuer, Kevin Lano
Creating specifications from code: Reverse-engineering techniques. J. Softw. Maintenance Res. Pract. 3 (3) (1991)
Peter T. Breuer
Z! in Progress: Maintaining Z Specifications. Z User Workshop (1990)
Kevin Lano, Peter T. Breuer
From Programs to Z Specifications. Z User Workshop (1989)