Peter T. Breuer

85 papers A 1B 3C 9Misc 3Journal 35Unranked 34

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