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

1

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/..

2

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/..

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

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/..

5

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/..

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

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..

8

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/..

9

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..

10

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/..

11

A native process algebra for VHDL:

, In: Proceedings of the conference on European design automation,

Breuer, Peter T. ; Madrid, Natividad Martínez - p. 420-426 , 1995

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

12

Proof theory and a validation condition generator for VHDL:

, In: Proceedings of the conference on European design automation,

Fernández, Luis Sánchez ; Breuer, Peter T. ; Kloos, Carlos Delgado - p. 512-517 , 1994

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

13

Automation of the Deep Web with User Defined Behaviours:

, In: Advances in Web Intelligence; Lecture Notes in Computer Science,

Luque Centeno, Vicente ; Delgado Kloos, Carlos ; Breuer, Peter T.... - p. 339-348 ,

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

14

List of contributors:

, In: Principles of Tissue Engineering,

Abe, Masashi ; Ahlstrom, Jon D. ; Albon, Julie... - p. xxix-xxxix , 2020

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

15

Contributors:

, In: Translating Regenerative Medicine to the Clinic,

Almeida-Porada, Graça ; Asatrian, Greg ; Atala, Anthony... - p. xi-xiv , 2016

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