Sibylle B. Fröschle

According to our database, Sibylle B. Fröschle authored at least 32 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Three Taps for Secure Machine-to-Machine Communication: Towards High Assurance yet Fully Local Machine Pairing.

Sibylle B. Fröschle, Martin Kubisch

Proceedings of the Sixth Workshop on CPS&IoT Security and Privacy, 2024

2021

Permissioned Blockchain for Data Provenance in Scientific Data Management.

Julius Möller, Sibylle B. Fröschle, Axel Hahn

Proceedings of the Innovation durch Informationssysteme, 2021

2020

Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain.

Sibylle B. Fröschle, Martin Kubisch, Marlon Gräfing

CoRR, 2020

2018

Misbehavior detection system in VANETs using local traffic density.

Jithin Zacharias, Sibylle B. Fröschle

Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

2017

Analyzing the Capabilities of the CAN Attacker.

Sibylle B. Fröschle, Alexander Stühring

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Preface to special issue: EXPRESS 2010.

Sibylle B. Fröschle, Frank D. Valencia

Math. Struct. Comput. Sci., 2016

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 B. Fröschle

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Estimating the probability of a timely traffic-hazard warning via simulation.

Nils Müllner, Martin Fränzle, Sibylle B. Fröschle

Proceedings of the 48th Annual Simulation Symposium, 2015

Leakiness is Decidable for Well-Founded Protocols.

Sibylle B. Fröschle

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems.

Sibylle B. Fröschle

Proceedings of the Correct System Design, 2015

2014

Integrating the Security Aspect into Design Space Exploration of Embedded Systems.

Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Idea: Security Engineering Principles for Day Two Car2X Applications.

Sibylle B. Fröschle, Alexander Stühring

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

Contracts for evolving systems.

Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Preface to special issue: EXPRESS, ICE and SOS 2009.

Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin

Math. Struct. Comput. Sci., 2012

Analysis of Security APIs (Dagstuhl Seminar 12482).

Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel

Dagstuhl Reports, 2012

2011

Partially-commutative context-free processes: Expressibility and tractability.

Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota

Inf. Comput., 2011

Concepts and Proofs for Configuring PKCS#11.

Sibylle B. Fröschle, Nils Sommer

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010

Non-interleaving bisimulation equivalences on Basic Parallel Processes.

Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa

Inf. Comput., 2010

Reasoning with Past to Prove PKCS#11 Keys Secure.

Sibylle B. Fröschle, Nils Sommer

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.

Sibylle B. Fröschle, Slawomir Lasota

Proceedings of the Joint Proceedings of the 8th, 2009

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.

Sibylle B. Fröschle, Graham Steel

Proceedings of the Foundations and Applications of Security Analysis, 2009

Partially-Commutative Context-Free Processes.

Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Adding Branching to the Strand Space Model.

Sibylle B. Fröschle

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

2007

Causality versus true-concurrency.

Sibylle B. Fröschle, Slawomir Lasota

Theor. Comput. Sci., 2007

The Insecurity Problem: Tackling Unbounded Data.

Sibylle B. Fröschle

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2005

The decidability border of hereditary history preserving bisimilarity.

Sibylle B. Fröschle

Inf. Process. Lett., 2005

Composition and Decomposition in True-Concurrency.

Sibylle B. Fröschle

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.

Sibylle B. Fröschle, Slawomir Lasota

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2002

Independence-Friendly Modal Logic and True Concurrency.

Julian C. Bradfield, Sibylle B. Fröschle

Nord. J. Comput., 2002

2001

On Logical and Concurrent Equivalences.

Julian C. Bradfield, Sibylle B. Fröschle

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

1999

Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.

Sibylle B. Fröschle

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

On Plain and Hereditary History-Preserving Bisimulation.

Sibylle B. Fröschle, Thomas T. Hildebrandt

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999