Sibylle B. Fröschle

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 6

Top Topics

Traffic Density

Raw Sensor Data

Scientific Data Management

Data Provenance

Top Venues

Math. Struct. Comput. Sci.

Publications

Julius Möller, Sibylle B. Fröschle, Axel Hahn
Permissioned Blockchain for Data Provenance in Scientific Data Management. Wirtschaftsinformatik (2021)
Sibylle B. Fröschle, Martin Kubisch, Marlon Gräfing
Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain. CoRR (2020)
Jithin Zacharias, Sibylle B. Fröschle
Misbehavior detection system in VANETs using local traffic density. VNC (2018)
Sibylle B. Fröschle, Alexander Stühring
Analyzing the Capabilities of the CAN Attacker. ESORICS (1) (2017)
Alexander Stühring, Günter Ehmen, Sibylle B. Fröschle
Analyzing the impact of injected sensor data on an Advanced Driver Assistance System using the OP2TIMUS prototyping platform. DATE (2016)
Sibylle B. Fröschle, Frank D. Valencia
Preface to special issue: EXPRESS 2010. Math. Struct. Comput. Sci. 26 (6) (2016)
Sibylle B. Fröschle
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems. Correct System Design (2015)
Sibylle B. Fröschle
Leakiness is Decidable for Well-Founded Protocols. POST (2015)
Nils Müllner, Martin Fränzle, Sibylle B. Fröschle
Estimating the probability of a timely traffic-hazard warning via simulation. SpringSim (ANSS) (2015)
Sibylle B. Fröschle, Alexander Stühring
Idea: Security Engineering Principles for Day Two Car2X Applications. ESSoS (2014)
Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler
Integrating the Security Aspect into Design Space Exploration of Embedded Systems. ISSRE Workshops (2014)
Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg
Contracts for evolving systems. ISORC (2013)
Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin
Preface to special issue: EXPRESS, ICE and SOS 2009. Math. Struct. Comput. Sci. 22 (2) (2012)
Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel
Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports 2 (11) (2012)
Sibylle B. Fröschle, Nils Sommer
Concepts and Proofs for Configuring PKCS#11. Formal Aspects in Security and Trust (2011)
Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota
Partially-commutative context-free processes: Expressibility and tractability. Inf. Comput. 209 (5) (2011)
Sibylle B. Fröschle, Nils Sommer
Reasoning with Past to Prove PKCS#11 Keys Secure. Formal Aspects in Security and Trust (2010)
Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa
Non-interleaving bisimulation equivalences on Basic Parallel Processes. Inf. Comput. 208 (1) (2010)
Sibylle B. Fröschle, Graham Steel
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS (2009)
Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota
Partially-Commutative Context-Free Processes. CONCUR (2009)
Sibylle B. Fröschle, Slawomir Lasota
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. INFINITY (2009)
Sibylle B. Fröschle
Adding Branching to the Strand Space Model. EXPRESS (2008)
Sibylle B. Fröschle
The Insecurity Problem: Tackling Unbounded Data. CSF (2007)
Sibylle B. Fröschle, Slawomir Lasota
Causality versus true-concurrency. Theor. Comput. Sci. 386 (3) (2007)
Sibylle B. Fröschle, Slawomir Lasota
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. CONCUR (2005)
Sibylle B. Fröschle
The decidability border of hereditary history preserving bisimilarity. Inf. Process. Lett. 93 (6) (2005)
Sibylle B. Fröschle, Slawomir Lasota
Causality Versus True-Concurrency. EXPRESS (2005)
Sibylle B. Fröschle
Composition and Decomposition in True-Concurrency. FoSSaCS (2005)
Julian C. Bradfield, Sibylle B. Fröschle
Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput. 9 (1) (2002)
Julian C. Bradfield, Sibylle B. Fröschle
On Logical and Concurrent Equivalences. EXPRESS (2001)
Sibylle B. Fröschle
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. EXPRESS (1999)
Sibylle B. Fröschle, Thomas T. Hildebrandt
On Plain and Hereditary History-Preserving Bisimulation. MFCS (1999)