1
0
0
News
Sichere vernetzte Fahrzeuge als Ziel - IT-Nachrichten
heinz-schmitz.org
Wie leicht es sein kann, Fahrzeuge aus der Ferne über eine unsichere drahtlose Schnittstelle zu hacken und zu manipulieren, ging unlängst durch alle Medien....
LICS Newsletter 100
lics.siglog.org
: COFFEE BREAK : Morning Session - Sibylle Fröschle, Slawomir Lasota Causality Versus True-Concurrency - Maribel Fernández, Ian
16. SafeTRANS Industrial Daywww.safetrans-de.org › Veranstaltungen ›
www.safetrans-de.org
... Dr. Sibylle Fröschle, OFFIS Abstractkeyboard_arrow_down Mit der bevorstehenden Einführung der Car2X Technologie werden Fahrzeuge in ...
MBEES2017 : SWK : Universität Hamburgwww.inf.uni-hamburg.de › inst › swk › research › events
www.inf.uni-hamburg.de
Thomas Strathmann and Sibylle Fröschle: Towards a Model-Based Safety and Security Analysis. 17: :00. Christopher Pietsch, Dennis Reuling, Udo Kelter ...
Netzwerk-Profile
LinkedIn: Sibylle Froeschle - Senior Researcher, Lead Security Research ...
Sehen Sie sich das Profil von Sibylle Froeschle auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Sibylle Froeschle ...
LinkedIn: Sibylle Froeschle | LinkedIn
Sibylle Froeschles berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Sibylle Froeschle dabei ...
Sibylle Fröschle (Sibylle Schwierz) - Gersdorf-Möhrsdorf ...www.stayfriends.de › Personen › Gersdorf-Moehrsdorf
www.stayfriends.de
Sibylle Fröschle (Sibylle Schwierz) ist Mitglied bei StayFriends und hat bis diese Schule besucht: Mittelschule Gersdorf-Möhrsdorf.
Interessen
Autotalks and OFFIS Announce a Successful Completion of the First...
www.prweb.com
Autotalks' V2X HSM protects against private key exposure attacks.
Private Homepages
PD Dr. Sibylle Fröschlesibylle-froeschle.de
www.sibylle-froeschle.de
Ihre Browserversion ist veraltet. Wir empfehlen, Ihren Browser auf die neueste Version zu aktualisieren. consult at sibylle-froeschle.de ...
Herkunft
Sibylle Fröschle - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Sibylle Fröschle. MathSciNet. Ph.D. University of Edinburgh UnitedKingdom. Dissertation: Decidability and Coincidence of Equivalences for Concurrency.
Ben-D-Mittman - User Trees - Genealogy.com
www.genealogy.com
Family Tree Maker user home page for Ben-D-Mittman.
Bücher
Bibliography generated from publications.bib
www.avacs.org
Nils Müllner, Martin Fränzle, and Sibylle Fröschle. Estimating the probability of a timely traffic-hazard warning via simulation. In Proceedings of the 48th Annual Symposium on Simulation (AnSS2015), Washington DC, USA, April IEEE Computer Society Press. Abstract (click to open/close)
Author Sibylle Froeschle
www.inf.ed.ac.uk
Report, Date, Title. EDI-INF-RR-0231, Aug 2004, The decidability of hereditary history preserving bisimilarity on trace-labelled systems is unresolved.
Bibliographische Datenbank LEABib: Suchergebnisse
wwwmayr.in.tum.de
... Partially-commutative context-free processes: Expressibility and tractability · Publikation auswählen. Wojciech Czerwiński, Sibylle Fröschle, Sƚawomir Lasota
CONCUR Concurrency Theory: 16th International Conference,...
books.google.de
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of...
Dokumente zum Namen
[ ] Proceedings 17th International Workshop on Expressiveness...
arxiv.org
Authors: Sibylle Fröschle (University of Oldenburg), Frank D. Valencia (CNRS and LIX École Polytechnique). (Submitted on 28 Nov 2010). Abstract: This volume ...
18th International Workshop on Expressiveness in ...www.lix.polytechnique.fr › CfP
www.lix.polytechnique.fr
... Valencia (LIX, CNRS & Ecole Polytechnique, F) PROGRAMME COMMITTEE: Filippo Bonchi (CNRS & ENS Lyon, FR) Sibylle Fröschle (Universität Oldenburg, ...
[ ] Security Analysis and Design for TAGA: a Touch and Go...
arxiv.org
Title:Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain. Authors:Sibylle Fröschle, Martin Kubisch, ...
EPTCS 8: Expressiveness in Concurrency
arxiv.org
Preface Sibylle Fröschle and Daniele Gorla. Characteristic Formulae for Fixed-Point Semantics: A General Framework Luca Aceto, Anna ...
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Privatdozentin Dr. Sibylle Fröschle
gepris.dfg.de
Privatdozentin Dr. Sibylle Fröschle, Department für Informatik, Ammerländer -118, Oldenburg DFG - GEPRIS - Privatdozentin Dr. Sibylle Fröschle Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen
GAMES - Past Publications
www.games.rwth-aachen.de
Sibylle Fröschle. S. Fröschle. The Decidability Border of Hereditary History Preserving Bisimilarity. Information Processing Letters, vol. 93(6), ...
CONCUR 2017
www.concur2017.tu-berlin.de
The EXPRESS'09 workshop was co-located with CONCUR in Bologna and was co-chaired by Sibylle Fröschle and Daniele Gorla. The EXPRESS'
GAMES - Games Meeting Bordeaux 2004
www.games.rwth-aachen.de
Sibylle Froeschle: Hereditary history preserving bisimilarity on live free-choice systems: 16:30
Veröffentlichungen allgemein
Leakiness is Decidable for Well-Founded Protocols | SpringerLink
link.springer.com
A limit to algorithmic verification of security protocols is posed by the fact that checking whether a security property such as secrecy is satisfied is...
Reasoning with Past to Prove PKCS#11 Keys Secure | SpringerLink
link.springer.com
PKCS#11 is a widely adopted standard that defines a security API for accessing devices such as smartcards and hardware security modules. Motivated by...
Artikel & Meinungen
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Sibylle Fröschle (OFFIS – Oldenburg, DE) Steve Kremer (INRIA – Nancy – Grand Est, FR) Robert Künnemann (ENS – Cachan, FR) Ralf Küsters (Universität Trier, DE)
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Schloss Dagstuhl - Leibniz Center for Informatics (LZI), Wadern (Germany) ... Sibylle Fröschle (OFFIS – Oldenburg, DE) Graham Steel (ENS – Cachan, FR) >
Schloss Dagstuhl : Seminar-Kalender
www.dagstuhl.de
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI), Wadern ... Venezia, IT), Sibylle Fröschle (Universität Oldenburg, DE), Graham Steel (ENS - Cachan, FR) ...
Sonstiges
Sibylle Froeschle | LinkedIn
www.linkedin.com
View Sibylle Froeschle's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Sibylle Froeschle discover ...
PD Dr. Sibylle Fröschle — Carl von Ossietzky Universität Oldenburg
uol.de
PD Dr. Sibylle Fröschle. Kontaktdaten. Carl von Ossietzky Universität Oldenburg Fak. II - Dept. Informatik Abteilung Systemanalyse und -optimierung
Concepts and Proofs for Configuring PKCS#11 | springerprofessional.de
www.springerprofessional.de
We have recently put forward several ideas of how to specify, model, and verify security APIs centered around the slogan ‘security APIs are also like
Partially-Commutative Context-Free Processes | springerprofessional.de
www.springerprofessional.de
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP,
Ccard V a category theory card game
www.verify-it.de
Sibylle Fröschle pointed me later to another quite comprehensive book I feel inclined to add to this list: ... Ccard is a card "game" or rather a memory trick.
An Automated Semantic-Based Approach for Creating Task Structures -...
docplayer.net
... den Gutachtern Prof. Dr. Werner Damm und Prof. Dr. Martin Fränzle sowie Dr. Sibylle Fröschle für ihre Bereitschaft meine Arbeit zu begutachten.
Decomposition and Complexity of Hereditary History Preserving...
www.springerprofessional.de
Aus dem eBook: CONCUR – Concurrency Theory von Sibylle Fröschle, Sławomir Lasota: We propose a polynomial-time decision procedure for hereditary history...
DROPS - Analysis of Security APIs (Dagstuhl Seminar )
drops.dagstuhl.de
... Mike Bond and Riccardo Focardi and Sibylle Fröschle and Graham Steel Analysis of Security APIs (Dagstuhl Seminar ... of Security APIs (Dagstuhl Seminar
au:Froschle_S in:cs - SciRate Search
scirate.com
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August ...
IP2 Interactive Presentations | DATE 2016
past.date-conference.com
Alexander Stühring 1, Günter Ehmen 1 and Sibylle Fröschle 2 1 University of Oldenburg, DE; 2 OFFIS Institute for Information Technology, DE Abstract
Principal Investigators — University of Oldenburg
uol.de
PD Dr. Sibylle Fröschle. OFFIS - Institute for Information Technology R+D Division Transportation Safety Analysis & Verification. Prof. Dr.-Ing. Axel Hahn.
Causality Versus True-Concurrency – topic of research paper in...
cyberleninka.org
Sibylle Fröschle; Sławomir Lasota ... Abstract of research paper on Computer and information sciences, author of scientific article — Sibylle Fröschle, Sławomir ...
Committees - NTNUwww.ntnu.edu › esorics2017 › co...
www.ntnu.edu
... Felix Freiling, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany; Sibylle Fröschle, OFFIS e.V., Germany; Joaquin Garcia-Alfaro, Telecom ParisSud ...
Concepts and Proofs for Configuring PKCS# www.springerprofessional.de › concepts-and-proofs-for...
www.springerprofessional.de
Autoren: Sibylle Fröschle, Nils Sommer. Verlag: Springer Berlin Heidelberg. Erschienen in: Formal Aspects of Security and Trust. » Jetzt Zugang zum Volltext ...
BERICHTE. aus dem. der Fakultät II, Informatik, Wirtschafts- und...
docplayer.org
Johannes Faber (SFB AVACS) Dr. Sibylle Fröschle (seit ) Dipl.-Inform. Michael Möller (bis ) Dr. André Platzer (SFB AVACS) Dipl.-Inform.
Design & Verif. of a LAKE Process for Secure M2M ...vvpatterns.ait.ac.at › ...
vvpatterns.ait.ac.at
Origin: Sibylle Fröschle / OFFIS, Marlon Gräfing / OFFIS. Purpose: Pattern for design and verification of a location-based authentication and key establishment ...
EPTCS: Breaking Symmetries
cgi.cse.unsw.edu.au
In Sibylle Fröschle and Frank D. Valencia: Proceedings 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), Paris, ...
Verwandte Suchanfragen zu Sibylle Fröschle
| Graham Steel Martin Fränzle Riccardo Focardi | Alexander Stühring Nils Sommer Mike Bond | Axel Hahn Heidi Krake |
Personen Vorname "Sibylle" (6171) Name "Fröschle" (163) |
sortiert nach Relevanz / Datum