Sibylle B. Fröschle

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