Disrupting Mating Behavior of Diaphorina citri (Liviidae) von Lujo, S, Hartman, E, Norton, K, Pregmon, E A, Rohde, B B, Mankin, R W

Volltext

Behavioral Responses of Male Diaphorina citri (Hemiptera: Liviidae) to Mating Communication Signals from Vibration Traps in Citrus (Sapindales: Rutaceae) Trees von Hartman, E, Rohde, B, Lujo, S, Dixon, M, McNeill, S, Mankin, R. W

Volltext

Behavioral responses of male Diaphorina citri von Hartman, E, Rohde, B, Lujo, S, Dixon, M, McNeill, S, Mankin, R. W

Volltext

Behavioral responses of male Diaphorina citri trees von Hartman, E, Rohde, B, Lujo, S, Dixon, M, McNeill, S, Mankin, R. W

Volltext

Fabric: Building open distributed systems securely by construction von Liu, Jed, Arden, Owen, George, Michael D., Myers, Andrew C.

Volltext

Special issue on verified information flow security von Murray, Toby, Sabelfeld, Andrei, Bauer, Lujo

Volltext

Paragon – Practical programming with information flow control von Broberg, Niklas, van Delft, Bart, Sands, David

Volltext

Hails: Protecting data privacy in untrusted web applications von Giffin, Daniel, Levy, Amit, Stefan, Deian, Terei, David, Mazières, David, Mitchell, John, Russo, Alejandro

Volltext

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... von Lujo Bauer, Ralf Küsters

Volltext

Marij Kogoj: Piano

Volltext bestellen

What's the Over/Under? Probabilistic Bounds on Information Leakage

Volltext

ETAPS Foreword

Volltext

Leakage and Protocol Composition in a Game-Theoretic Perspective

Volltext

The Science of Deep Specification (Abstract of Invited Talk)

Volltext

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Volltext

Organization

Volltext

The Meaning of Memory Safety

Volltext

Leakage, Information Flow, and Protocols

Volltext

Information Flow and Non-intereference

Volltext

Firewalls and Attack-Defense Trees

Volltext