researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

petertbreuer

Statistics

Publications: 4
Edited: 0

Aliases

Breuer, P. T.
Breuer, Peter T.
Peter T. Breuer
Breuer
P. T. Breuer

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Peter T. Breuer's Profile

Publications

Unidentified Publications

Publications with a 'Peter T. Breuer' as author, editor, or advisor:

An Obfuscating CompilerPeter T. Breuer. iacr, 2017:50, 2017. [doi]
Superscalar Encrypted RISC: The Measure of a Secret ComputerPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. trustcom 2018: 1336-1341 [doi]
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDLPeter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández. TOPLAS, 19(4):585-616, 1997. [doi]
A Formal Model for the Block Device Subsystem of the Linux KernelPeter T. Breuer. icfem 2003: 599-619 [doi]
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret ComputerPeter T. Breuer, Jonathan P. Bowen. ESSoS 2014: 131-140 [doi]
Superscalar Encrypted RISC: A Secret Computer in SimulationPeter T. Breuer, Jonathan P. Bowen. iacr, 2016:1193, 2016. [doi]
Open Source Verification under a CloudPeter T. Breuer, Simon Pickin. eceasst, 33, 2010. [doi]
MSC-based Language for Specifying Automated Web ClientsVicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez. ISCC 2003: 407-412 [doi]
A Fully Encrypted Microprocessor The Secret Computer is Nearly HerePeter T. Breuer, Jonathan P. Bowen. ant 2016: 1282-1287 [doi]
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C ProjectsPeter T. Breuer, Simon Pickin. sew 2007: 246-255 [doi]
Chaotic Compilation: A (Statistical) Cloak for a Secret ComputerPeter T. Breuer, Jonathan P. Bowen. issre 2019: 428-433 [doi]
Empirical Patterns in Google Scholar Citation CountsPeter T. Breuer, Jonathan P. Bowen. sose 2014: 398-403 [doi]
Raiding the Noosphere: the open development of networked RAID support for the Linux kernelPeter T. Breuer, Marisol García-Valls. SPE, 36(4):365-395, 2006. [doi]
Formal Methods Communities of Practice: A Survey of Personal ExperienceJonathan P. Bowen, Peter T. Breuer. SEFM 2022: 287-301 [doi]
A Fully Homomorphic Crypto-Processor DesignPeter T. Breuer, Jonathan P. Bowen. ESSoS 2013: 123-138 [doi]
Proving Hardware DesignsPeter T. Breuer, Luis Sánchez, Carlos Delgado Kloos. ICLP 1994: 745
Encrypted computing: Speed, security and provable obfuscation against insidersPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. iccst 2017: 1-6 [doi]
JCCM: Flexible Certificates for Smartcards with Java CardCeleste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García. esmart 2001: 34-42 [doi]
Approximate verification in an open source worldPeter T. Breuer, Simon Pickin. isse, 4(1):87-105, 2008. [doi]
Fault-Tolerant Distributed Mass Storage for LHC ComputingArne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck. ccgrid 2003: 266 [doi]
Typed Assembler for a RISC Crypto-ProcessorPeter T. Breuer, Jonathan P. Bowen. ESSoS 2012: 22-29 [doi]
On the Security of Practical and Complete Homomorphic Encrypted ComputationPeter T. Breuer, Jonathan P. Bowen. iacr, 2016:1191, 2016. [doi]
Intelligent Networked Software RAIDPeter T. Breuer, Arne Wiebalck. pdcn 2005: 517-522
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source CodePeter T. Breuer, Simon Pickin. iccS 2006: 765-772 [doi]
++ and back againJonathan P. Bowen, Peter T. Breuer, Kevin Lano. INFSOF, 35(11-12):679-690, 1993. [doi]
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel SourcePeter T. Breuer, Simon Pickin, María M. Larrondo-Petrie. sew 2006: 223-233 [doi]
Processor Rescue - Safe Coding for Hardware AliasingPeter T. Breuer, Jonathan P. Bowen, Simon Pickin. somet 2015: 137-148 [doi]
Higher Order Applicative XML DocumentsPeter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández. rissef 2004: 91-107 [doi]
A Formal Method for Specification and Refinement of Real-Time SystemsPeter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos. ecrts 1996: 200-204 [doi]
A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of MathematicsPeter T. Breuer, Simon J. Pickin. FM 2020: 167-184 [doi]
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. eurosp 2018: 145-152 [doi]
The Art of Computer Un-Programming: Reverse Engineering in PrologPeter T. Breuer. lpss 1992: 290-302
Reverse-engineering Cobol via formal methodsK. Lano, Peter T. Breuer, Howard Haughton. SMR, 5(1):13-35, 1993. [doi]
Z! in Progress: Maintaining Z SpecificationsPeter T. Breuer. zum 1991: 295-318
High Speed Encrypted Computing: Stochastic Confusion and Lies in a Secret ComputerPeter T. Breuer. desec 2022: 1-8 [doi]
Building Wrapper Agents for the Deep WebVicente Luque Centeno, Luis Sánchez Fernández, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martín. ICWE 2003: 58-67 [doi]
On Security in Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. icics 2018: 192-211 [doi]
Proof theory and a validation condition generator for VHDLLuis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos. eurodac 1994: 512-517 [doi]
From Programs to Z SpecificationsKevin Lano, Peter T. Breuer. zum 1990: 46-70 [doi]
A refinement calculus for VHDLPeter T. Breuer, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín. eurodac 1996: 482-487 [doi]
Automation of the Deep Web with User Defined BehavioursVicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez. awic 2003: 339-348 [doi]
Soundness and Completeness of the NRB Verification LogicPeter T. Breuer, Simon Pickin. SEFM 2014: 389-404 [doi]
Special issue: Open Source CertificationErnesto Damiani, Luis Barbosa, Peter T. Breuer, Claudio Agostino Ardagna. csse, 25(4), 2010.
A semantic model for VHDL-AMSNatividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos. charme 1997: 106-123
A native process algebra for VHDLPeter T. Breuer, Natividad Martínez Madrid. eurodac 1995: 420-426 [doi]
Verification in the Large via Symbolic ApproximationPeter T. Breuer, Simon Pickin. ISoLA 2006: 408-415 [doi]
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen. issre 2014: 365-370 [doi]
A formal nethod (a networked formal method)Peter T. Breuer, Simon Pickin. isse, 6(4):255-268, 2010. [doi]
Safe Compilation for Hidden Deterministic Hardware AliasingPeter T. Breuer, Jonathan P. Bowen. issre 2019: 422-427 [doi]
Safe Compilation for Encrypted ComputingPeter T. Breuer, Simon Pickin. iacr, 2019:301, 2019. [doi]
Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily RiskyPeter T. Breuer, Jonathan P. Bowen. SEFM 2014: 371-388 [doi]
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source CodePeter T. Breuer, Simon Pickin. Ada-Europe 2006: 56-70 [doi]
Dependable Networked RAID for the Open Source CommunityPeter T. Breuer, Arne Wiebalck. icpads 2005: 627-633 [doi]
Creating specifications from code: Reverse-engineering techniquesPeter T. Breuer, Kevin Lano. SMR, 3(3):145-162, 1991. [doi]
An Information Obfuscation Calculus for Encrypted ComputingPeter T. Breuer. iacr, 2019:84, 2019. [doi]
Open source verification in an anonymous volunteer networkPeter T. Breuer, Simon Pickin. SCP, 91:161-187, 2014. [doi]
A Practical Encrypted MicroprocessorPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. secrypt 2016: 239-250 [doi]
A software maintenance management model based on queueing networksGiorgos Papapanagiotakis, Peter T. Breuer. SMR, 6(2):73-97, 1994. [doi]
Static Deadlock Detection in the Linux KernelPeter T. Breuer, Marisol García-Valls. Ada-Europe 2004: 52-64 [doi]
An Analysis/Synthesis Language with Learning StrategiesPeter T. Breuer. SAS 1991: 202-209
A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDLPeter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos. fmsd, 7(1/2):27-51, 1995.
Symbolic approximation: an approach to verification in the largePeter T. Breuer, Simon Pickin. isse, 2(3-4):147-163, 2006. [doi]
Clean formal semantics for VHDLPeter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos. eurodac 1994: 641-647
Chaotic Compilation for Encrypted Computing: Obfuscation but Not in NamePeter T. Breuer. iacr, 2019:423, 2019. [doi]
Fully encrypted high-speed microprocessor architecture: the secret computer in simulationPeter T. Breuer, Jonathan P. Bowen. ijccbs, 9(1/2):26-55, 2019. [doi]
The Computational Description of Analogue System BehaviourPeter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos. nada 1998: 309-332 [doi]
On Obfuscating Compilation for Encrypted ComputingPeter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu 0001. secrypt 2017: 247-254 [doi]
A compendium of formal techniques for software maintenanceJonathan P. Bowen, Peter T. Breuer, Kevin Lano. iee, 8(5):253-262, 1993. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL