I agree that this site is using cookies. You can find further informations here.
X
Bauereiss, Thomas
15  results:
Search for persons X
?
1

Verified Security for the Morello Capability-enhanced Proto..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Bauereiss, Thomas ; Campbell, Brian ; Sewell, Thomas... - p. 174-203 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Rigorous engineering for hardware security: Formal modellin..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Nienhuis, Kyndylan ; Joannou, Alexandre ; Bauereiss, Thomas... - p. 1003-1020 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Composition and declassification in possibilistic informati..:

Bauereiß, Thomas , 2019
Link: http://nbn-resolving.de/..
 
?
4

Composition and declassification in possibilistic informati..:

Bauereiß, Thomas , 2019
Copies:  Zentrale:Magazinturm E01 ts 5606
 
?
5

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS:

Armstrong, Alasdair ; Bauereiss, Thomas ; Campbell, Brian...
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-31 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS:

Armstrong, Alasdair ; Bauereiss, Thomas ; Campbell, Brian...
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-31 , 2019
Link: https://doi.org/10.1145/..
 
?
7

CoSMeDis: A Distributed Social Media Platform with Formally..:

, In: 2017 IEEE Symposium on Security and Privacy (SP),
Bauereiss, Thomas ; Gritti, Armando Pesenti ; Popescu, Andrei. - p. 729-748 , 2017
Link: https://doi.org/10.1109/..
 
?
8

CoSMed: A Confidentiality-Verified Social Media Platform:

Bauereiß, Thomas ; Pesenti Gritti, Armando ; Popescu, Andrei.
Journal of Automated Reasoning.  61 (2017)  1-4 - p. 113-139 , 2017
Link: https://doi.org/10.1007/..
 
?
9

Bounded-Deducibility Security (Invited Paper):

Popescu, Andrei ; Bauereiss, Thomas ; Lammich, Peter
Is Part Of LIPIcs, Volume 193, 12th International Conference on Interactive Theorem Proving (ITP 2021).  , 2021
Link: https://doi.org/10.4230/..
 
?
10

RIFL 1.1: A Common Specification Language for Information-F..:

Bauereiß, Thomas ; Greiner, Simon ; Herda, Mihai...
https://publikationen.bibliothek.kit.edu/1000092713.  , 2017
Link: https://publikationen.bi..
 
?
11

Possibilistic Information Flow Control for Workflow Managem..:

Bauereiss, Thomas ; Hutter, Dieter
http://arxiv.org/abs/1404.1987.  , 2014
Link: http://arxiv.org/abs/140..
 
?
12

Compatibility of Safety Properties and Possibilistic Inform..:

Bauereiss, Thomas ; Hutter, Dieter
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-55415-5_21.  , 2014
Link: https://hal.inria.fr/hal..
 
?
13

Compatibility of Safety Properties and Possibilistic Inform..:

Bauereiss, Thomas ; Hutter, Dieter
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-55415-5_21.  , 2014
Link: https://hal.inria.fr/hal..
 
?
14

Possibilistic Information Flow Control for Workflow Managem..:

Thomas Bauereiss ; Dieter Hutter
http://arxiv.org/pdf/1404.1987v1.  , 2014
Link: https://doi.org/10.4204/..
 
?
15

Familiale Lebensformen im Wandel:

, In: Familie an der Schwelle zum neuen Jahrtausend,
Marbach, Jan H. ; Bauereiß, Renate ; Bayer, Hiltrud... - p. 23-112 , 1996
Link: https://doi.org/10.1007/..
 
1-15