On Plain and Hereditary History-Preserving Bisimulation. - Sibylle B. Fröschle; Thomas T. Hildebrandt (MFCS, 1999)

Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. - Sibylle Fröschle (EXPRESS, 1999)

On Logical and Concurrent Equivalences. - Julian C. Bradfield; Sibylle B. Fröschle (EXPRESS, 2001)

Independence-Friendly Modal Logic and True Concurrency. - Julian C. Bradfield; Sibylle B. Fröschle (Nord. J. Comput., 2002)

Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. - Sibylle Fröschle; Slawomir Lasota 001 (CONCUR, 2005)

Composition and Decomposition in True-Concurrency. - Sibylle Fröschle (FoSSaCS, 2005)

The decidability border of hereditary history preserving bisimilarity. - Sibylle B. Fröschle (Inf. Process. Lett., 2005)

The Insecurity Problem: Tackling Unbounded Data. - Sibylle Fröschle (CSF, 2007)

Causality versus true-concurrency. - Sibylle Fröschle; Slawomir Lasota 001 (Theor. Comput. Sci., 2007)

Adding Branching to the Strand Space Model. - Sibylle Fröschle (EXPRESS, 2008)

Partially-Commutative Context-Free Processes. - Wojciech Czerwinski; Sibylle Fröschle; Slawomir Lasota 001 (CONCUR, 2009)

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. - Sibylle Fröschle; Graham Steel (ARSPA-WITS, 2009)

Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. - Sibylle Fröschle; Slawomir Lasota 001 (INFINITY, 2009)

Reasoning with Past to Prove PKCS#11 Keys Secure. - Sibylle Fröschle; Nils Sommer (Formal Aspects in Security and Trust, 2010)

Non-interleaving bisimulation equivalences on Basic Parallel Processes. - Sibylle Fröschle; Petr Jancar; Slawomir Lasota 001; Zdenek Sawa (Inf. Comput., 2010)

Concepts and Proofs for Configuring PKCS#11. - Sibylle Fröschle; Nils Sommer (Formal Aspects in Security and Trust, 2011)

Partially-commutative context-free processes: Expressibility and tractability. - Wojciech Czerwinski; Sibylle Fröschle; Slawomir Lasota 001 (Inf. Comput., 2011)

Analysis of Security APIs (Dagstuhl Seminar 12482). - Mike Bond; Riccardo Focardi; Sibylle Fröschle; Graham Steel (Dagstuhl Reports, 2012)

Preface to special issue: EXPRESS, ICE and SOS 2009. - Filippo Bonchi; Sibylle Fröschle; Daniele Gorla; Bartek Klin (Math. Struct. Comput. Sci., 2012)

Contracts for evolving systems. - Christoph Etzien; Tayfun Gezgin; Sibylle Fröschle; Stefan Henkler; Achim Rettberg (ISORC, 2013)

Idea: Security Engineering Principles for Day Two Car2X Applications. - Sibylle Fröschle; Alexander Stühring (ESSoS, 2014)

Integrating the Security Aspect into Design Space Exploration of Embedded Systems. - Ingo Stierand; Sunil Malipatlolla; Sibylle Fröschle; Alexander Stühring; Stefan Henkler (ISSRE Workshops, 2014)

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems. - Sibylle Fröschle (Correct System Design, 2015)

Leakiness is Decidable for Well-Founded Protocols. - Sibylle Fröschle (POST, 2015)

Estimating the probability of a timely traffic-hazard warning via simulation. - Nils Müllner; Martin Fränzle; Sibylle Fröschle (SpringSim (ANSS), 2015)

Analyzing the impact of injected sensor data on an Advanced Driver Assistance System using the OP2TIMUS prototyping platform. - Alexander Stühring; Günter Ehmen; Sibylle Fröschle (DATE, 2016)

Preface to special issue: EXPRESS 2010. - Sibylle Fröschle; Frank D. Valencia (Math. Struct. Comput. Sci., 2016)

Analyzing the Capabilities of the CAN Attacker. - Sibylle Fröschle; Alexander Stühring (ESORICS (1), 2017)

Towards a Model-Based Safety and Security Analysis. - Thomas Strathmann; Sibylle Fröschle (MBEES, 2017)

Misbehavior detection system in VANETs using local traffic density. - Jithin Zacharias; Sibylle Fröschle (VNC, 2018)

Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain. - Sibylle Fröschle; Martin Kubisch; Marlon Gräfing (CoRR, 2020)

Permissioned Blockchain for Data Provenance in Scientific Data Management. - Julius Möller; Sibylle Fröschle; Axel Hahn (Wirtschaftsinformatik, 2021)

Three Taps for Secure Machine-to-Machine Communication: Towards High Assurance yet Fully Local Machine Pairing. - Sibylle Fröschle; Martin Kubisch (CPSIOTSEC@CCS, 2024)