peter-breuer documents

Static Deadlock Detection in the Linux Kernel (RST 2004)
Education Static Deadlock Detection in the Linux Kernel (RST 2004)
Open Source Verification under a Cloud (OpenCert 2010)
Technology Open Source Verification under a Cloud (OpenCert 2010)
Correctness of a Secret Computer (ESSoS '13)
Technology Correctness of a Secret Computer (ESSoS '13)
Tutorial: Formal Methods for Hardware Verification - Overview and Application to VDHL
Education Tutorial: Formal Methods for Hardware Verification - Overview and Application to VDHL
NetRAID for the Linux Kernel (UKUUG/LISA WCHAR 2004)
Education NetRAID for the Linux Kernel (UKUUG/LISA WCHAR 2004)
Better up front: Generating parsers in ANSI C (FreeSoft '95)
Technology Better up front: Generating parsers in ANSI C (FreeSoft '95)
Empirical Patterns in Google Scholar Citation Counts (CyberPatterns 2014)
Data & Analytics Empirical Patterns in Google Scholar Citation Counts (CyberPatterns 2014)
Towards a working fully homomorpic crypto-processor (ESSoS 2014)
Technology Towards a working fully homomorpic crypto-processor (ESSoS 2014)
Soundness and Completeness of the NRB verification logic (OpenCert 2013)
Technology Soundness and Completeness of the NRB verification logic (OpenCert 2013)
Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)
Technology Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)
An algebra for VHDL with signal attributes (APCHDL '95)
Technology An algebra for VHDL with signal attributes (APCHDL '95)
A Semantic Model for VHDL-AMS (CHARME '97)
Education A Semantic Model for VHDL-AMS (CHARME '97)
The mixed-signal modelling language VHDL-AMS and its semantics (ICNACSA 1999)
Education The mixed-signal modelling language VHDL-AMS and its semantics (ICNACSA 1999)
Higher Order Applicative XML (Monterey 2002)
Technology Higher Order Applicative XML (Monterey 2002)
A Formal Model of the Block Device Subsystem of the Linux Kernel (ICFEM 2003)
Technology A Formal Model of the Block Device Subsystem of the Linux Kernel (ICFEM 2003)
Raiding the Noosphere
Technology Raiding the Noosphere
One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
Technology One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
Abstract Interpretation meets model checking near the 1000000 LOC mark: Finding errors in the Linux Kernel Source (AVIS '06)
Technology Abstract Interpretation meets model checking near the 1000000 LOC mark: Finding errors in the Linux Kernel Source (AVIS '06)
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)
Technology Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)
Checking for Deadlock, Double Free, and Other Abuses in the Linux Kernel Source Code Tree (CSSSE '06)
Technology Checking for Deadlock, Double Free, and Other Abuses in the Linux Kernel Source Code Tree (CSSSE '06)
Avoiding Hardware Aliasing
Science Avoiding Hardware Aliasing