CoSMed: A Confidentiality-Verified Social Media Platform von Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei, Raimondi, Franco

Volltext

Possibilistic Information Flow Control for Workflow Management Systems von Bauereiss, Thomas, Hutter, Dieter

Volltext

Static Preference Models for Options with Dynamic Extent von Bauereiß, Thomas, Mandl, Stefan, Ludwig, Bernd

Volltext

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS von Armstrong, Alasdair, Bauereiss, Thomas, Campbell, Brian, Reid, Alastair, Gray, Kathryn E., Norton, Robert M., Mundkur, Prashanth, Wassell, Mark, French, Jon, Pulte, Christopher, Flur, Shaked, Stark, Ian, Krishnaswami, Neel, Sewell, Peter

Volltext

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees von Bauereiss, Thomas, Gritti, Armando Pesenti, Popescu, Andrei, Raimondi, Franco

Volltext

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process von Nienhuis, Kyndylan, Joannou, Alexandre, Bauereiss, Thomas, Fox, Anthony, Roe, Michael, Campbell, Brian, Naylor, Matthew, Norton, Robert M., Moore, Simon W., Neumann, Peter G., Stark, Ian, Watson, Robert N. M., Sewell, Peter

Volltext

CoSMed: A Confidentiality-Verified Social Media Platform von Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei, Raimondi, Franco

Volltext

Possibilistic Information Flow Control for Workflow Management Systems von Bauereiss, Thomas, Hutter, Dieter

Volltext

CoSMed: A Confidentiality-Verified Social Media Platform von Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei, Raimondi, Franco

Volltext bestellen

RIFL 1.1: A Common Specification Language for Information-Flow Requirements von Bauereiß, Thomas, Greiner, Simon, Herda, Mihai, Kirsten, Michael, Li, Ximeng, Mantel, Heiko, Mohr, Martin, Perner, Matthias, Schneider, David, Tasch, Markus

Volltext bestellen

Transmitting device and receiving device von Busch Hans-Juergen, Bauereiss Rainer, Huber Thomas

Volltext bestellen

Video recording system, method, and computer program for memory space distribution in a video recording system von BUSCH HANS-JUERGEN, BAUEREISS RAINER, HUBER THOMAS, JOECKER DIETER

Volltext bestellen

Videoaufzeichnungssystem, Verfahren und Computerprogramm zur Speicherplatzverteilung in einem Videoaufzeichnungssystem von Busch, Hans-Juergen, Huber, Thomas, Joecker, Dieter, Bauereiss, Rainer

Volltext bestellen

Sending device and receiving device von HANS-JUERGEN BUSCH, THOMAS HUBER, RAINER BAUEREISS

Volltext bestellen

Transmission of data stream sections in reversed order von HANS-JUERGEN BUSCH, THOMAS HUBER, RAINER BAUEREISS

Volltext bestellen

Video recording system,method and computer program for storage location distribution in a video recording system von HANS-JUERGEN BUSCH, THOMAS HUBER, RAINER BAUEREISS, DIETER JOECKER

Volltext bestellen

Dynamic allocation of storage capacity in a networked video recording system von HANS-JUERGEN BUSCH, THOMAS HUBER, RAINER BAUEREISS, DIETER JOECKER

Volltext bestellen

VIDEO RECORDING SYSTEM, METHOD, AND COMPUTER PROGRAM FOR MEMORY SPACE DISTRIBUTION IN A VIDEO RECORDING SYSTEM von BUSCH HANS-JUERGEN, BAUEREISS RAINER, HUBER THOMAS, JOECKER DIETER

Volltext bestellen

Videoaufzeichnungssystem, Verfahren und Computerprogramm zur Speicherplatzverteilung in einem Videoaufzeichnungssystem von BAUEREISS, RAINER, JOECKER, DIETER, BUSCH, HANS-JUERGEN, HUBER, THOMAS

Volltext bestellen