1
0
0
News
Prof. Heiko Mantel stellt Ergebnisse des DFG ...ATHENE – Nationales Forschungszentrum für angewandte Cybersicherheit
www.athene-center.de
— Vorträge an Universitäten in Südostasien und Australien Prof. Heiko Mantel, CYSEC [at] TU Darmstadt, stellt neueste ...
Heiko Mantel: New CRCS Visiting ScholarHarvard CRCS
crcs.seas.harvard.edu
— CRCS welcomes its newest Visiting Scholar, Heiko Mantel, who is visiting from the Technische Universität Darmstadt. Heiko joined the faculty ...
Exercise Sheet 8ETH Zürich
archiv.infsec.ethz.ch
Heiko Mantel, PD Dr. Luca Vigan…o. ETH Zurich. Exercise Sheet 8. Deadline: EXERCISE 1. Consider again the one-way authentication protocol. M1. A→B ...
Formal Methods for Information Security (SS04)ETH Zürich
archiv.infsec.ethz.ch
Heiko Mantel, PD Dr. Luca Vigan…o. ETH Zurich. Exercise Sheet 9. Deadline: EXERCISE 1. Discuss briefly the different trust models for public-key ...
Netzwerk-Profile
LinkedIn: Heiko Mantel – Vertriebsmitarbeiter im Außendienst - LinkedIn
› heiko-mantel-aa72a619b
Interessen
Security of multi-agent systems: A case study on comparison ...PhilPapers
philpapers.org
Dieter Hutter, Heiko Mantel, Ina Schaefer & Axel Schairer · Journal of Applied Logic 5 (2): (2007). @article{Hutter2007-HUTSOM, author = {Dieter Hutter ...
Bücher
A case study in the mechanical verification of fault toleranceTaylor & Francis Online
www.tandfonline.com
von H Mantel · · Zitiert von: 18 — A case study in the mechanical verification of fault tolerance. Heiko Mantel German Research Center for Artificial Intelligence ( DFKI ) ...
Heiko MantelScinapse
www.scinapse.io
Heiko Mantel. Technical University of Darmstadt. 20h-index 129Publications. Research Fields. Cut-elimination theorem. Sequent calculus. Sequent. Linear logic.
Computer Security - ESORICS 2000: 6th European Symposium on ...google.ro
books.google.ro
... Heiko Mantel German Research Center for Artificial Intelligence (DFKI) , Saarbrücken, Germany Abstract. Unwinding ...
Formal Aspects in Security and Trust: Third International ...google.ro
books.google.ro
... Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. Technical Report 498, ETH Zürich, Heiko Mantel and ...
Dokumente zum Namen
DROPS - Schloss Dagstuhldagstuhl.de
drops.dagstuhl.de
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld. Published in: Dagstuhl Seminar Proceedings, Volume 7091, Mobility, Ubiquity ...
Eliminating Timing Leaks by Unification (Extended Abstract)Boris Koepf
boriskoepf.de
von B Köpf · Zitiert von: 2 — Boris Köpf and Heiko Mantel. ETH Zürich, Switzerland. .ch. Abstract. Transforming security type systems [Aga00] go beyond ...
Formalizing Information Flow Properties in Isabelle HOLGesellschaft für Informatik e.V.
fg-fomsess.gi.de
Heiko Mantel, Henning Sudbrock, Sylvia Grewe, Steffen Lortz & Richard Gay. Modeling and Analysis of Information Systems (MAIS),. TU Darmstadt, Germany. FoMSESS ...
Principles of Stepwise Refinement Heiko MantelCornell University
nuprl-web.cs.cornell.edu
Heiko Mantel (17) ... What are the important problems? • prepare 3rd talk in this series. The solutions. • use the techniques in a real world project. Heiko ...
Wissenschaftliche Veröffentlichungen
Softwareentwicklung und Verifikation - PublicationsUniversität Münster
www.uni-muenster.de
Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner. Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis. In Post ...
Design-time performance modeling of compositional ...ScienceDirect
www.sciencedirect.com
von F Czappa · · Zitiert von: 1 — ... overlay panel. Fabian Czappa a , Alexandru Calotoiu b , Thomas Höhl a , Heiko Mantel a , Toni Nguyen a , Felix Wolf a. Show more. Add to Mendeley. Share.
Alexandra WeberDBLP
dblp.uni-trier.de
— Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, Alexandra Weber: Bounding the cache-side-channel leakage of ...
Talk given by Prof. Dr. Heiko Mantel (TU Darmstadt) - SFB 901SFB 901
sfb901.uni-paderborn.de
— On November 26, 2013, Prof. Dr. Heiko Mantel will give a talk in the context of the SFB 901 colloquium. Title of the talk: Towards more ...
Veröffentlichungen allgemein
Declassification with Explicit Reference PointsSpringer
link.springer.com
von A Lux · · Zitiert von: 25 — Heiko Mantel. Conference paper Accesses. 8 Citations. Part ... Authors and Affiliations. Computer Science, TU Darmstadt, Germany. Alexander Lux & Heiko ...
hoch³ FORSCHEN # by TU Darmstadtissuu
issuu.com
— ... Heiko Mantel und sein Team forschen zur Problematik von schwer nachweisbaren Angriffen über sogenannte Seitenkanäle. Abbildung: Katrin ...
Addendum to the Article "Transforming Out Timing Leaks ...ResearchGate
www.researchgate.net
Request PDF | On Aug 19, 2015, Heiko Mantel and others published Addendum to the Article "Transforming Out Timing Leaks, More or Less" - Experimental ...
Flexible Scheduler-Independent SecuritySpringer Link
link.springer.com
von H Mantel · · Zitiert von: 47 — Heiko Mantel &; Henning Sudbrock. Conference paper Authors and Affiliations. Computer Science, TU Darmstadt, Germany. Heiko Mantel & Henning Sudbrock.
Video & Audio
Rigorous Cache Side Channel Mitigation via Selective Circuit ...YouTube · CANS - Cryptology and Network Security70+ Aufrufe · vor 3 Jahren
www.youtube.com
Presentation held at CANS Paper by Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert and Tim ...
Artikel & Meinungen
Twitter-Nachrichten: Computer Science, TU DarmstadtX · CS_TUDarmstadt3 „Gefällt mir“-Angaben · vor 1 Jahr
Professor Heiko Mantel is looking for two doctoral students in experimental and formal analysis of software.
Sonstiges
Heiko Mantel SpielerprofilChessBase Players
players.chessbase.com
Bilder, Partien, Statistiken und mehr von Schachspieler Heiko Mantel.
Managing Director: Heiko Mantel · Address · CapitalNorth Data Smart Research
www.northdata.com
... Heiko Mantel · Address · Capital: €3, · Shareholder agreement · Corporate Purpose" are provided by North Data and may be reused under the terms of the ...
Heiko MantelLausitz Festival
www.lausitz-festival.eu
Heiko Mantel. Technik. Logistik & Material. Ich bin Görlitzer Urgestein und als Veranstalter in der Region seit meiner Jugend aktiv. So gehörte ich zu den ...
Prof. Dr.-Ing. Heiko MantelHKHLR
www.hkhlr.de
Prof. Dr.-Ing. Heiko Mantel ; Universität. Technische Universität Darmstadt ; Institut. Modellierung und Analyse von Informationssystemen ; Address. TU Darmstadt.
A Uniform Information-Flow Security Benchmark Suite For ...Karlsruhe Institute of Technology
pp.ipd.kit.edu
[ifspec18nordsec], Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch, A Uniform Information-Flow Security Benchmark Suite ...
CacheAuditIMDEA Software
software.imdea.org
Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel and Alexandra Weber. 10th International Symposium on Foundations and ...
Ghost #bucephalandras #buce #buceghost2011Instagram
www.instagram.com
Heiko Mantel on Instagram: "Ghost #bucephalandras #buce #buceghost2011"
How Secure Is Green IT? The Case of Software-Based ...OUCI
ouci.dntb.gov.ua
Authors: Heiko Mantel, Johannes Schickel, Alexandra Weber, Friedrich Weber ... RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation.
Hybrid Monitors for Concurrent Noninterference - Harvard DASHHarvard DASH
dash.harvard.edu
von A Askarov · · Zitiert von: 40 — Citation. Askarov, Aslan, Stephen Chong, and Heiko Man "Hybrid monitors for concurrent noninterference." In Proceedings of Computer Security ...
IEEE Computer Security Foundations programIEEE TCSP
www.ieee-security.org
Chair: Jonathan Millen. Panelists: Andy Gordon, Heiko Mantel, John Mitchell, and Andrew Myers ... Heiko Mantel and Henning Sudbrock Comparing Countermeasures ...
INFORMATION CHANNELS EFFECTIVENESS ...Scientific Annals of Economics and Business
saeb.feaa.uaic.ro
von M TEREK · · Zitiert von: 3 — Information Flow Control for Workflow Management Systems, In Heiko Mantel (ed.): IT - information technology volume , pp , De ...
Mind the Gap: Formal Verification and the Common Criteria ...EasyChair
easychair.org
von B Beckert · · Zitiert von: 10 — In: Markus Aderhold, Serge Autexier and Heiko Mantel (editors). VERIFY th International Verification Workshop, vol 3, pages
Newslist Department of Computer ScienceUiT The Arctic University of Norway
en.uit.no
2023: Guest lecture Wednesday March 1st, 2023: Prof. Dr.-Ing. Heiko Mantel, Technische Universität Darmstadt, Germany : Guest lecture Wednesday ...
Open PositionsSoftware-Factory 4.0
www.software-factory-4-0.de
Heiko Mantel (.tu-darmstadt.de); Static Program Analysis Job Details — Contact: Prof. Dr. Heiko Mantel (.tu ...
POST 2012etaps 2024
www.etaps.org
Heiko Mantel (Technical Univ. of Darmstadt, Germany) Sjouke Mauw (Univ. of Luxembourg, Luxembourg) Catherine Meadows (NRL, USA) John C. Mitchell (Stanford ...
Proving Information Flow Noninterference by Reusing a ...EasyChair
easychair.org
von D Wasserrab · · Zitiert von: 26 — In: Markus Aderhold, Serge Autexier and Heiko Mantel (editors). VERIFY th International Verification Workshop, vol 3, pages
Research Meeting : Klausurtagung Lehrstuhl Heiko Manteldagstuhl.de
www.dagstuhl.de
Research Meeting Klausurtagung Lehrstuhl Heiko Mantel. ( Sep 10 – Sep 12, ). Permalink. Please use the following short url to reference this ...
Software-Factory LOEWE Research Initiatives ...ProLOEWE
proloewe.de
Project Coordinator. Prof. Dr.-Ing. Heiko Mantel, Darmstadt University of Technology. Locations. Darmstadt. More Information. Homepage · Home · News · News ...
Software-Factory LOEWE-VorhabenProLOEWE
proloewe.de
Heiko Mantel, Technische Universität Darmstadt. Standorte. Darmstadt. Weiterführende Informationen. LOEWE-Schwerpunkt Software Factory 4.0 Handzettel · zur ...
Transforming Out Timing Leaks, More or LessOUCI
ouci.dntb.gov.ua
Yuri Gil Dantas, Tobias Hamann, Heiko Mantel. https://doi.org Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian ...
sortiert nach Relevanz / Datum