E-LIB Suche - Ergebnisse für: Breuer, Peter T.

1

High Speed Encrypted Computing: Stochastic Confusion and Li..:

, In: 2022 IEEE Conference on Dependable and Secure Computing (DSC),

Breuer, Peter T. - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

2

Formal Methods Communities of Practice: A Survey of Persona..:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops,

Bowen, Jonathan P. ; Breuer, Peter T. - p. 287-301 , 2022

Link: https://doi.org/10.1007/..

3

A Calculus of Chaos in Stochastic Compilation: Engineering ..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Breuer, Peter T. ; Pickin, Simon J. - p. 167-184 , 2020

Link: https://doi.org/10.1007/..

4

Chaotic Compilation: A (Statistical) Cloak for a Secret Com..:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Breuer, Peter T. ; Bowen, Jonathan P. - p. 428-433 , 2019

Link: https://doi.org/10.1109/..

5

Safe Compilation for Hidden Deterministic Hardware Aliasing:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Breuer, Peter T. ; Bowen, Jonathan P. - p. 422-427 , 2019

Link: https://doi.org/10.1109/..

6

On Security in Encrypted Computing:

, In: Information and Communications Security; Lecture Notes in Computer Science,

Breuer, Peter T. ; Bowen, Jonathan P. ; Palomar, Esther. - p. 192-211 , 2018

Link: https://doi.org/10.1007/..

7

A Fully Encrypted Microprocessor The Secret Computer is Nea..:

Breuer, Peter T. ; Bowen, Jonathan P.
Procedia Computer Science. 83 (2016) - p. 1282-1287 , 2016

Link: https://doi.org/10.1016/..

8

Open source verification in an anonymous volunteer network:

Breuer, Peter T. ; Pickin, Simon
Science of Computer Programming. 91 (2014) - p. 161-187 , 2014

Link: https://doi.org/10.1016/..

9

Typed assembler for a RISC crypto-processor:

, In: Proceedings of the 4th international conference on Engineering Secure Software and Systems,

Breuer, Peter T. ; Bowen, Jonathan P. - p. 22-29 , 2012

Link: https://dl.acm.org/doi/1..

10

Typed Assembler for a RISC Crypto-Processor:

, In: Lecture Notes in Computer Science; Engineering Secure Software and Systems,

Breuer, Peter T. ; Bowen, Jonathan P. - p. 22-29 , 2012

Link: https://doi.org/10.1007/..

11

A formal nethod (a networked formal method):

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering. 6 (2010) 4 - p. 255-268 , 2010

Link: https://doi.org/10.1007/..

12

Approximate verification in an open source world:

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering. 4 (2008) 1 - p. 87-105 , 2008

Link: https://doi.org/10.1007/..

13

One Million (LOC) and Counting: Static Analysis for Errors ..:

, In: Reliable Software Technologies – Ada-Europe 2006; Lecture Notes in Computer Science,

Breuer, Peter T. ; Pickin, Simon - p. 56-70 , 2006

Link: https://doi.org/10.1007/..

14

One million (LOC) and counting : static analysis for err..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,

Breuer, Peter T. ; Pickin, Simon - p. 56-70 , 2006

Link: https://dl.acm.org/doi/1..

15

Raiding the Noosphere: the open development of networked RA..:

Breuer, Peter T. ; García Valls, Marisol
Software: Practice and Experience. 36 (2006) 4 - p. 365-395 , 2006

Link: https://doi.org/10.1002/..