Sibylle B. Fröschle

According to our database1, Sibylle B. Fröschle authored at least 31 papers between 1999 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Permissioned Blockchain for Data Provenance in Scientific Data Management.
Proceedings of the Innovation durch Informationssysteme, 2021

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

2018
Misbehavior detection system in VANETs using local traffic density.
Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

2017
Analyzing the Capabilities of the CAN Attacker.
Proceedings of the Computer Security - ESORICS 2017, 2017

2016
Preface to special issue: EXPRESS 2010.
Math. Struct. Comput. Sci., 2016

Analyzing the impact of injected sensor data on an Advanced Driver Assistance System using the OP2TIMUS prototyping platform.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Estimating the probability of a timely traffic-hazard warning via simulation.
Proceedings of the 48th Annual Simulation Symposium, 2015

Leakiness is Decidable for Well-Founded Protocols.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems.
Proceedings of the Correct System Design, 2015

2014
Integrating the Security Aspect into Design Space Exploration of Embedded Systems.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Idea: Security Engineering Principles for Day Two Car2X Applications.
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013
Contracts for evolving systems.
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.
Math. Struct. Comput. Sci., 2012

Analysis of Security APIs (Dagstuhl Seminar 12482).
Dagstuhl Reports, 2012

2011
Partially-commutative context-free processes: Expressibility and tractability.
Inf. Comput., 2011

Concepts and Proofs for Configuring PKCS#11.
Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010
Non-interleaving bisimulation equivalences on Basic Parallel Processes.
Inf. Comput., 2010

Reasoning with Past to Prove PKCS#11 Keys Secure.
Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.
Proceedings of the Joint Proceedings of the 8th, 2009

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.
Proceedings of the Foundations and Applications of Security Analysis, 2009

Partially-Commutative Context-Free Processes.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Adding Branching to the Strand Space Model.
Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

2007
Causality versus true-concurrency.
Theor. Comput. Sci., 2007

The Insecurity Problem: Tackling Unbounded Data.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2005
The decidability border of hereditary history preserving bisimilarity.
Inf. Process. Lett., 2005

Composition and Decomposition in True-Concurrency.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2002
Independence-Friendly Modal Logic and True Concurrency.
Nord. J. Comput., 2002

2001
On Logical and Concurrent Equivalences.
Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

1999
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

On Plain and Hereditary History-Preserving Bisimulation.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999


  Loading...