Peter T. Breuer

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).

A refinement calculus for VHDL

Carlos Delgado Kloos, Peter T. Breuer, Andrés Marín López, 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

On the Security of Practical and Complete Homomorphic Encrypted Computation

Peter T. Breuer, Jonathan P. Bowen, 2016, IACR Cryptol. ePrint Arch..

Decompilation is the Efficient Enumeration of Types

Peter T. Breuer, Jonathan P. Bowen, 1992, WSA.

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

Peter T. Breuer, Jonathan P. Bowen, 2015, ArXiv.

Decompilation: the enumeration of types and grammars

Peter T. Breuer, Jonathan P. Bowen, 1994, TOPL.

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

Peter T. Breuer, Jonathan P. Bowen, 2014, ESSoS.

On the 'ABC defense' for homomorphic encryptions

Peter T. Breuer, 2013 .

Safe Compilation for Hidden Deterministic Hardware Aliasing

Peter T. Breuer, Jonathan P. Bowen, 2019, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Reverse-engineering Cobol via formal methods

Peter T. Breuer, Kevin Lano, Howard P. Haughton, 1993, J. Softw. Maintenance Res. Pract..

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

Peter T. Breuer, Jonathan P. Bowen, 2019, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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

Peter T. Breuer, Simon Pickin, S. Pickin, 2019, FM Workshops.

The PRECC Compiler Compiler

Peter T. Breuer, Jonathan P. Bowen, 1993 .

On Obfuscating Compilation for Encrypted Computing

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2017, SECRYPT.

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

Peter T. Breuer, Simon Pickin, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

A Functional Semantics for Unit-Delay VHDL

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

Typed Assembler for a RISC Crypto-Processor

Peter T. Breuer, Jonathan P. Bowen, 2012, ESSoS.

An Obfuscating Compiler

Peter T. Breuer, 2017, IACR Cryptol. ePrint Arch..

Special issue: Open Source Certification

Ernesto Damiani, Peter T. Breuer, Luís Soares Barbosa, 2010, Comput. Syst. Sci. Eng..

Understanding programs through formal methods

Peter T. Breuer, Jonathan P. Bowen, K. Lano, 1993 .

Static Deadlock Detection in the Linux Kernel

Peter T. Breuer, Marisol García-Valls, 2004, Ada-Europe.

Building Wrapper Agents for the Deep Web

Carlos Delgado Kloos, Peter T. Breuer, Vicente Luque Centeno, 2003, ICWE.

JCCM: Flexible Certificates for Smartcards with Java Card

Carlos Delgado Kloos, Peter T. Breuer, Andrés Marín López, 2001, E-smart.

Formal specifications in software maintenance: from code to Z++ and back again

Peter T. Breuer, Kevin Lano, Jonathan P. Bowen, 1993, Inf. Softw. Technol..

Proof theory and a validation condition generator for VHDL

Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, 1994, EURO-DAC '94.

Co-Design at Work: the Ethernet Bridge Case Study

Juan Carlos López, Peter T. Breuer, C. Delgado-Kloos, 1997 .

A prettier compiler‐compiler: Generating higher‐order parsers in C

Peter T. Breuer, Jonathan P. Bowen, 1995, Softw. Pract. Exp..

(Un)Encrypted Computing and Indistinguishability Obfuscation pdf

Peter T. Breuer, Jonathan P. Bowen, 2018, ArXiv.

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

Peter T. Breuer, Jonathan P. Bowen, 2013, SEFM Workshops.

An Open Question on the Uniqueness of (Encrypted) Arithmetic pdf

Peter T. Breuer, Jonathan P. Bowen, 2013, ArXiv.

Open Source Verification under a Cloud

Peter T. Breuer, Simon Pickin, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Raiding the Noosphere: the open development of networked RAID support for the Linux kernel

Peter T. Breuer, Marisol García-Valls, 2006, Softw. Pract. Exp..

A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL

Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, 1995, Formal Methods Syst. Des..

The REDO Project: Final Report

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

Fault-tolerant distributed mass storage for LHC computing

Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck, 2003, CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings..

A semantic model for VHDL-AMS

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

CO-DESIGN AT WORK:

Peter T. Breuer, Luis Sánchez, M. L. Lopez, 1997 .

An Information Entropy Calculus for Stochastically Compiled Programs

Peter T. Breuer, Simon Pickin, 2019 .

On Security in Encrypted Computing

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, ICICS.

Formal Semantics for VHDL

Carlos Delgado Kloos, Peter T. Breuer, 1995 .

Soundness and Completeness of the NRB Verification Logic

Peter T. Breuer, Simon Pickin, S. Pickin, 2013, SEFM Workshops.

Z! in Progress: Maintaining Z Specifications

Peter T. Breuer, 1990, Z User Workshop.

Raiding the Noosphere: the open development of networked RAID support for the Linux kernel

Peter T. Breuer, Marisol García Valls, 2006 .

Intelligent Networked Software RAID

Peter T. Breuer, Arne Wiebalck, 2005, Parallel and Distributed Computing and Networks.

Dependable networked RAID for the open source community

Peter T. Breuer, Arne Wiebalck, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

A formal nethod (a networked formal method)

Peter T. Breuer, Simon Pickin, S. Pickin, 2010, Innovations in Systems and Software Engineering.

Clean formal semantics for VHDL

Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Certifying Machine Code Safe from Aliasing: Proving RISC Machine Code not Risky

Peter T. Breuer, 2013 .

Creating specifications from code: Reverse-engineering techniques

Peter T. Breuer, Kevin Lano, K. Lano, 1991, J. Softw. Maintenance Res. Pract..

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, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

A Concrete Z Grammar

Peter T. Breuer, Jonathan P. Bowen, 2001 .

MSC-based language for specifying automated web clients

Carlos Delgado Kloos, Peter T. Breuer, Vicente Luque Centeno, 2003, Proceedings of the Eighth IEEE Symposium on Computers and Communications. ISCC 2003.

Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing pdf

Peter T. Breuer, 2019, ArXiv.

Erratum: A Fully Homomorphic Crypto-Processor Design

Peter T. Breuer, Jonathan P. Bowen, 2013, ESSoS 2013.

An Information Obfuscation Calculus for Encrypted Computing

Peter T. Breuer, 2019, IACR Cryptol. ePrint Arch..

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

Peter T. Breuer, Jonathan P. Bowen, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Verification in the Large via Symbolic Approximation

Peter T. Breuer, Simon Pickin, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Automation of the Deep Web with User Defined Behaviours

Carlos Delgado Kloos, Peter T. Breuer, Vicente Luque Centeno, 2003, AWIC.

Processor Rescue - Safe Coding for Hardware Aliasing

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

Higher Order Applicative XML Documents

Carlos Delgado Kloos, Peter T. Breuer, Vicente Luque Centeno, 2002, RISSEF.

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

Peter T. Breuer, 2003, ICFEM.

Compiled Obfuscation for Data Structures in Encrypted Computing pdf

Peter T. Breuer, 2019, ArXiv.

An Analysis/Synthesis Language with Learning Strategies

Peter T. Breuer, 1991, JTASPEFT/WSA.

Encrypted computing: Speed, security and provable obfuscation against insiders

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2017, 2017 International Carnahan Conference on Security Technology (ICCST).

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

Peter T. Breuer, 1992, Logic Programming Summer School.

Proving hardware designs (abstract)

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

Safe Compilation for Encrypted Computing

Peter T. Breuer, Simon Pickin, 2019, IACR Cryptol. ePrint Arch..

Safe and Chaotic Compilation for Hidden Deterministic Hardware Aliasing pdf

Peter T. Breuer, 2019, ArXiv.

Proving Hardware Designs

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

From Programs to Z Specifications

Peter T. Breuer, Kevin Lano, 1989, Z User Workshop.

A Fully Homomorphic Crypto-Processor Design

Peter T. Breuer, Jonathan P. Bowen, 2013, ESSoS.

Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name

Peter T. Breuer, 2019, IACR Cryptol. ePrint Arch..

A software maintenance management model based on queueing networks

Peter T. Breuer, Giorgos Papapanagiotakis, G. Papapanagiotakis, 1994, J. Softw. Maintenance Res. Pract..

The Computational Description of Analogue System Behaviour

Carlos Delgado Kloos, Peter T. Breuer, Natividad Martínez Madrid, 1998, Prospects for Hardware Foundations.

Fully encrypted high-speed microprocessor architecture: the secret computer in simulation

Peter T. Breuer, Jonathan P. Bowen, 2019, Int. J. Crit. Comput. Based Syst..

Towards Correct Executable Semantics for Z

Peter T. Breuer, Jonathan P. Bowen, 1994, Z User Workshop.

A refinement calculus for the synthesis of verified hardware descriptions in VHDL

Carlos Delgado Kloos, Peter T. Breuer, Andrés Marín López, 1997, TOPL.

Occam's Razor: The Cutting Edge of Parser Technology

Peter T. Breuer, Jonathan P. Bowen, 1992 .

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

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2018, 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

A native process algebra for VHDL

Peter T. Breuer, Natividad Martínez Madrid, 1995, Proceedings of EURO-DAC. European Design Automation Conference.

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

Peter T. Breuer, Simon Pickin, 2006, International Conference on Computational Science.

Approximate verification in an open source world

Peter T. Breuer, Simon Pickin, S. Pickin, 2008, Innovations in Systems and Software Engineering.

Open source verification in an anonymous volunteer network

Peter T. Breuer, Simon Pickin, S. Pickin, 2014, Sci. Comput. Program..

Empirical Patterns in Google Scholar Citation Counts

Peter T. Breuer, Jonathan P. Bowen, 2014, 2014 IEEE 8th International Symposium on Service Oriented System Engineering.

A Practical Encrypted Microprocessor

Peter T. Breuer, Jonathan P. Bowen, Zhiming Liu, 2016, SECRYPT.

Symbolic approximation: an approach to verification in the large

Peter T. Breuer, Simon Pickin, S. Pickin, 2006, Innovations in Systems and Software Engineering.

Programming Research Group Decompilation: the Enumeration of Types and Grammars Decompilation: the Enumeration of Types and Grammars

Peter T. Breuer, Jonathan P. Bowen, 1992 .

Fully encrypted high-speed microprocessor architecture: the secret computer in simulation

Peter T. Breuer, 2019, International Journal of Critical Computer-Based Systems.

Reasoning about VHD3L and VHDL-AMS using denotational semantics

Carlos Delgado Kloos, Peter T. Breuer, Robert B. France, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Generating Decompilers

Peter T. Breuer, Jonathan P. Bowen, 1998 .

Una propuesta basada en estándares para la automatización de tareas en el Web

Peter T. Breuer, Luis Sánchez Fernández, Vicente Luque Centeno, 2003 .

Just in Time : a new formal method for specification and refinement of real time processes

Peter T. Breuer, Jonathan P. Bowen, C. D. Kloos, 2013 .

A Front-end Tool to Parse Z Speciications

Peter T. Breuer, Jonathan P. Bowen, 1997 .

Abstraction for frictionless e-business

Peter T. Breuer, C. D. Kloos, 2000 .

The Network Block Device

Peter T. Breuer, P. T. A. Marin Lopez, Arturo Garcia Ares, 2000 .