Michael Schwarz

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)	2024	Julian Erhard Manuel Bentele Matthias Heizmann Dominik Klumpp Simmo Saan Frank Schüssele Michael Schwarz Helmut Seidl Sarah Tilscher Vesal Vojdani
+	Non-Numerical Weakly Relational Domains	2024	Helmut Seidl Julian Erhard Sarah Tilscher Michael Schwarz
+	Boundary representations of intermediate forms between a regular Dirichlet form and its active main part	2023	Matthias Keller Daniel Lenz Marcel O. Schmidt Michael Schwarz Melchior Wirth
+	Clustered Relational Thread-Modular Abstract Interpretation with Local Traces	2023	Michael Schwarz Simmo Saan Helmut Seidl Julian Erhard Vesal Vojdani
+	TALUS: Reinforcing TEE Confidentiality with Cryptographic Coprocessors (Technical Report)	2023	D. Chakraborty Michael Schwarz Sven Bugiel
+	Correctness Witness Validation by Abstract Interpretation	2023	Simmo Saan Michael Schwarz Julian Erhard Helmut Seidl Sarah Tilscher Vesal Vojdani
+ PDF Chat	A note on Neumann problems on graphs	2022	Michael Hinz Michael Schwarz
+	SFIP: Coarse-Grained Syscall-Flow-Integrity Protection in Modern Systems	2022	Claudio Canella Sebastian Dörn Daniel Gruss Michael Schwarz
+	HyperDbg: Reinventing Hardware-Assisted Debugging (Extended Version)	2022	Mohammad Sina Karvandi MohammadHossein Gholamrezaei Saleh Khalaj Monfared Soroush Meghdadizanjani Behrooz Abbassi Ali Amini Reza Mortazavi Saeid Gorgin Dara Rahmati Michael Schwarz
+	Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap	2022	Julian Erhard Simmo Saan Sarah Tilscher Michael Schwarz Karoliine Holter Vesal Vojdani Helmut Seidl
+ PDF Chat	Practical Timing Side Channel Attacks on Memory Compression	2021	Martin Schwarzl Pietro Borrello Gururaj Saileshwar Hanna Müller Michael Schwarz Daniel Gruss
+	Improving Thread-Modular Abstract Interpretation.	2021	Michael Schwarz Simmo Saan Helmut Seidl Kalmer Apinis Julian Erhard Vesal Vojdani
+ PDF Chat	Improving Thread-Modular Abstract Interpretation	2021	Michael Schwarz Simmo Saan Helmut Seidl Kalmer Apinis Julian Erhard Vesal Vojdani
+	Domain Page-Table Isolation	2021	Claudio Canella Andreas Kogler Lukas Giner Daniel Gruss Michael Schwarz
+	Improving Thread-Modular Abstract Interpretation	2021	Michael Schwarz Simmo Saan Helmut Seidl Kalmer Apinis Julian Erhard Vesal Vojdani
+	Practical Timing Side Channel Attacks on Memory Compression	2021	Martin Schwarzl Pietro Borrello Gururaj Saileshwar Hanna Müller Michael Schwarz Daniel Gruss
+	Automating Seccomp Filter Generation for Linux Applications	2020	Claudio Canella Mario Werner Daniel Gruss Michael Schwarz
+	Speculative Dereferencing of Registers:Reviving Foreshadow	2020	Martin Schwarzl Thomas Schuster Michael Schwarz Daniel Gruss
+	Mind the GAP: Security & Privacy Risks of Contact Tracing Apps	2020	Lars Baumgärtner Alexandra Dmitrienko Bernd Freisleben Alexander Gruler Jonas Höchst Joshua Kühlberg Mira Mezini Richard Mitev Markus Miettinen Anel Muhamedagic
+ PDF Chat	Courant’s nodal domain theorem for positivity preserving forms	2019	Matthias Keller Michael Schwarz
+	ZombieLoad: Cross-Privilege-Boundary Data Sampling	2019	Michael Schwarz Moritz Lipp Daniel Moghimi Jo Van Bulck Julian Stecklina Thomas Prescher Daniel Gruss
+	Store-to-Leak Forwarding: Leaking Data on Meltdown-resistant CPUs (Updated and Extended Version)	2019	Michael Schwarz Claudio Canella Lukas Giner Daniel Gruss
+	Practical Enclave Malware with Intel SGX	2019	Michael Schwarz Samuel Weiser Daniel Gruss
+	Boundary representation of Dirichlet forms on discrete spaces	2018	Matthias Keller Daniel Lenz Marcel Schmidt Michael Schwarz
+	Sobolev-type inequalities and eigenvalue growth on graphs with finite measure	2018	Bobo Hua Matthias Keller Michael Schwarz Melchior Wirth
+ PDF Chat	The Kazdan–Warner equation on canonically compactifiable graphs	2018	Matthias Keller Michael Schwarz
+	Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure	2018	Bobo Hua Matthias Keller Michael Schwarz Melchior Wirth
+	NetSpectre: Read Arbitrary Memory over Network	2018	Michael Schwarz Martin Schwarzl Moritz Lipp Daniel Gruss
+	Meltdown	2018	Moritz Lipp Michael Schwarz Daniel Gruss Thomas Prescher Werner Haas Stefan Mangard Paul Kocher Daniel Genkin Yuval Yarom Mike Hamburg
+	A note on Neumann problems on graphs	2018	Michael Hinz Michael Schwarz
+	Courant's Nodal Domain Theorem for Positivity Preserving Forms	2017	Matthias Keller Michael Schwarz
+	Boundary representation of Dirichlet forms on discrete spaces	2017	Matthias Keller Daniel Lenz Marcel Schmidt Michael Schwarz
+	The Kazdan-Warner equation on canonically compactifiable graphs	2017	Matthias Keller Michael Schwarz
+	Malware Guard Extension: Using SGX to Conceal Cache Attacks	2017	Michael Schwarz Samuel Weiser Daniel Gruss Clémentine Maurice Stefan Mangard
+	Another Flip in the Wall of Rowhammer Defenses	2017	Daniel Gruss Moritz Lipp Michael Schwarz Daniel Genkin Jonas Juffinger Sioli O’Connell Wolfgang Schoechl Yuval Yarom
+	Courant's Nodal Domain Theorem for Positivity Preserving Forms	2017	Matthias Keller Michael Schwarz
+	Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features	2017	Michael Schwarz Daniel Gruss Moritz Lipp Clémentine Maurice Thomas Schuster Anders Fogh Stefan Mangard
+	Boundary representation of Dirichlet forms on discrete spaces	2017	Matthias Keller Daniel Lenz Marcel O. Schmidt Michael Schwarz
+	The Kazdan-Warner equation on canonically compactifiable graphs	2017	Matthias Keller Michael Schwarz
+	DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks	2015	Peter Pessl Daniel Gruss Clémentine Maurice Michael Schwarz Stefan Mangard
+	Analysis of a Fivefold Symmetric Superposition of Plane Waves	2012	Michael Schwarz Robert A. Pelcovits
+	Analysis of a Fivefold Symmetric Superposition of Plane Waves	2012	Michael Schwarz Robert A. Pelcovits

Common Coauthors

Coauthor	Papers Together
Daniel Gruss	15
Matthias Keller	12
Helmut Seidl	8
Julian Erhard	8
Simmo Saan	7
Vesal Vojdani	7
Moritz Lipp	5
Martin Schwarzl	4
Daniel Lenz	4
Claudio Canella	4
Stefan Mangard	4
Sarah Tilscher	4
Melchior Wirth	3
Clémentine Maurice	3
Kalmer Apinis	3
Gururaj Saileshwar	2
Thomas Schuster	2
Marcel O. Schmidt	2
Marcel Schmidt	2
Robert A. Pelcovits	2
Yuval Yarom	2
Bobo Hua	2
Pietro Borrello	2
Hanna Müller	2
Daniel Genkin	2
Samuel Weiser	2
Thomas Prescher	2
Lukas Giner	2
Michael Hinz	2
Sebastian Dörn	1
Lars Baumgärtner	1
Matthias Heizmann	1
Mira Mezini	1
Ahmad‐Reza Sadeghi	1
Alexander Gruler	1
Dermot Frederik Pustelnik	1
Sven Bugiel	1
Sioli O’Connell	1
Dominik Klumpp	1
Jonas Juffinger	1
Ali Amini	1
Reza Mortazavi	1
D. Chakraborty	1
Mario Werner	1
Werner Haas	1
Markus Miettinen	1
Christian Uhl	1
Mike Hamburg	1
Thien Duc Nguyen	1
Wolfgang Schoechl	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Note on uniformly transient graphs	2017	Matthias Keller H. Daniel Lenz Marcel Schmidt Radosław K. Wojciechowski	5
+ PDF Chat	Laplacians on infinite graphs: Dirichlet and Neumann boundary conditions	2012	Sebastian Haeseler Matthias Keller H. Daniel Lenz Radosław K. Wojciechowski	4
+ PDF Chat	Dirichlet forms and stochastic completeness of graphs and subgraphs	2011	Matthias Keller Daniel Lenz	4
+	Graphs of finite measure	2014	Agelos Georgakopoulos Sebastian Haeseler Matthias Keller Daniel Lenz Radosław K. Wojciechowski	4
+	Stochastic Completeness of Graphs	2007	Radosław K. Wojciechowski	3
+	Time regularity and long-time behavior of parabolic p-Laplace equations on infinite graphs	2015	Bobo Hua Delio Mugnolo	3
+ PDF Chat	The Kazdan–Warner equation on canonically compactifiable graphs	2018	Matthias Keller Michael Schwarz	2
+	Sectional curvature of polygonal complexes with planar substructures	2016	Matthias Keller Norbert Peyerimhoff Felix Pogorzelski	2
+	Nonpositive immersions, sectional curvature, and subgroup properties	2003	Daniel T. Wise	2
+	Stochastic completeness for graphs with curvature dimension conditions	2016	Bobo Hua Yong Lin	2
+ PDF Chat	Potential Theory on Infinite Networks	1994	Paolo M. Soardi	2
+	Ricci curvature of Markov chains on metric spaces	2008	Yann Ollivier	2
+ PDF Chat	Bochner's Method for Cell Complexes and Combinatorial Ricci Curvature	2003	Robin Forman	2
+ PDF Chat	Ricci curvature of metric spaces	2007	Yann Ollivier	2
+	Diffusion determines the recurrent graph	2014	Matthias Keller Daniel Lenz Marcel Schmidt Melchior Wirth	2
+	Li-Yau inequality on graphs	2015	Frank Bauer Paul Horn Yong Lin Gábor Lippner Dan Mangoubi Shing‐Tung Yau	2
+	Kazdan–Warner equation on graph in the negative case	2017	Huabin Ge	2
+ PDF Chat	Convergence of metric graphs and energy forms	2010	Atsushi Kasue	2
+	Volume growth and stochastic completeness of graphs	2013	Matthew Folz	2
+ PDF Chat	Optimal Hardy inequalities for Schrödinger operators on graphs	2018	Matthias Keller Yehuda Pinchover Felix Pogorzelski	2
+ PDF Chat	Cheeger inequalities for unbounded graph Laplacians	2015	Frank Bauer Matthias Keller Radosław K. Wojciechowski	2
+ PDF Chat	Unbounded Laplacians on Graphs: Basic Spectral Properties and the Heat Equation	2010	Matthias Keller Daniel Lenz	2
+ PDF Chat	Parabolic theory of the discrete -Laplace operator	2013	Delio Mugnolo	2
+ PDF Chat	Curvature and Geometry of Tessellating Plane Graphs	2001	Oliver Baues Norbert Peyerimhoff	2
+	Li–Yau inequality on finite graphs via non-linear curvature dimension conditions	2018	Florentin Münch	2
+	Geodesics in non-positively curved plane tessellations	2006	Oliver Baues Norbert Peyerimhoff	2
+ PDF Chat	Kazdan–Warner equation on graph	2016	Alexander Grigor’yan Yong Lin Yunyan Yang	2
+	Curvature Functions for Compact 2-Manifolds	1974	Jerry L. Kazdan F. W. Warner	2
+ PDF Chat	Approximating <i>L</i><sup>2</sup>‐invariants and the Atiyah conjecture	2003	Józef Dodziuk Peter A. Linnell Varghese Mathai Thomas Schick Stuart Yates	2
+	A note on self-adjoint extensions of the Laplacian on weighted graphs	2013	Xueping Huang Matthias Keller Jun Masamune Radosław K. Wojciechowski	2
+	Convergence of Dirichlet Forms Induced on Boundaries of Transient Networks	2017	Atsushi Kasue	2
+	Hardy inequality and asymptotic eigenvalue distribution for discrete Laplacians	2014	Sylvain Golénia	2
+ PDF Chat	Harmonic functions of general graph Laplacians	2013	Bobo Hua Matthias Keller	2
+ PDF Chat	General Cheeger inequalities for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si6.gif" display="inline" overflow="scroll"><mml:mi>p</mml:mi></mml:math>-Laplacians on graphs	2016	Matthias Keller Delio Mugnolo	2
+ PDF Chat	Specifying concurrent programs in separation logic: morphisms and simulations	2019	Aleksandar Nanevski Anindya Banerjee Germán Andrés Delbianco Ignacio Fábregas	2
+	Curvature Functions for Open 2-Manifolds	1974	Jerry L. Kazdan F. W. Warner	2
+	On sampling with Markov chains	1996	Fan Chung Ron Graham Shing‐Tung Yau	1
+	1-Forms and Polar Decomposition on Harmonic Spaces	2012	Michael Hinz	1
+	Dirichlet and Neumann boundary conditions: What is in between?	2003	Wolfgang Arendt Mahamadi Warma	1
+	Ideale Ränder Riemannscher Flächen	1963	Corneliu Constantinescu Aurel Cornea	1
+ PDF Chat	Semi-groupes de Feller sur une variété à bord compacte et problèmes aux limites intégro-différentiels du second ordre donnant lieu au principe du maximum	1968	Jean-Michel Bony Philippe Courrège Pierre Priouret	1
+ PDF Chat	Eigenvalues of Graphs and Sobolev Inequalities	1995	Frank R. Chung Stephen Yau	1
+	On Boundary Conditions For Multidimensional Diffusion Processes	1959	A. D. Vent-Tsel’	1
+	A Probabilistic Formula for a Poisson Equation with Neumann Boundary Condition	2009	Abdellatif Benchérif-Madani Étienne Pardoux	1
+ PDF Chat	<i>M</i> ‐functions for closed extensions of adjoint pairs of operators with applications to elliptic boundary problems	2009	B. M. Brown Gerd Grubb Ian Wood	1
+ PDF Chat	Semimartingales and subharmonic functions	1954	J. L. Doob	1
+	Pure point spectrum and negative curvature for noncompact manifolds	1979	Harold Donnelly Peter Li	1
+ PDF Chat	Generalized Solutions and Spectrum for Dirichlet Forms on Graphs	2011	Sebastian Haeseler Matthias Keller	1
+ PDF Chat	Sup-norm-closable bilinear forms and Lagrangians	2015	Michael Hinz	1
+	Dirichlet Forms and Symmetric Markov Processes	2010	Masatoshi Fukushima Yōichi Ōshima Masayoshi Takeda	1