Zobrazeno 1 - 10
of 409
pro vyhledávání: '"Lindner, Andreas"'
Since the advent of Spectre attacks, researchers and practitioners have developed a range of hardware and software measures to counter transient execution attacks. A prime example of such mitigation is speculative load hardening in LLVM, which protec
Externí odkaz:
http://arxiv.org/abs/2312.09770
We propose a proof-producing symbolic execution for verification of machine-level programs. The analysis is based on a set of core inference rules that are designed to give control over the tradeoff between preservation of precision and the introduct
Externí odkaz:
http://arxiv.org/abs/2304.08848
Autor:
Lindner, Andreas K.1 (AUTHOR) andreas.lindner@charite.de, Moreno-del Castillo, Maria Cristina1 (AUTHOR), Wintel, Mia1 (AUTHOR), Equihua Martinez, Gabriela1 (AUTHOR), Richter, Joachim1 (AUTHOR), Kurth, Florian2 (AUTHOR), Pfäfflin, Frieder2 (AUTHOR), Zoller, Thomas2 (AUTHOR), Gertler, Maximilian1 (AUTHOR), Georgi, Susanne1 (AUTHOR), Nürnberg, Michael1 (AUTHOR), Hülso, Claudia1 (AUTHOR), Bernhard, Julian1 (AUTHOR), Kotsias, Sarah Konopelska1 (AUTHOR), Seigerschmidt, Antonio1 (AUTHOR), van Loon, Welmoed1 (AUTHOR), Mockenhaupt, Frank1 (AUTHOR), Kampmann, Beate1 (AUTHOR), Harms, Gundel1 (AUTHOR)
Publikováno v:
PLoS Neglected Tropical Diseases. 7/15/2024, Vol. 18 Issue 7, p1-12. 12p.
Publikováno v:
Software Impacts 15C (2023) 100481
Vacuum polarization, a key prediction of quantum theory, can cause a variety of intriguing phenomena that can be triggered by high-intensity laser pulses. The Heisenberg-Euler theory of the quantum vacuum supplements Maxwell's theory of electromagnet
Externí odkaz:
http://arxiv.org/abs/2202.09680
We match the electroweak chiral Lagrangian with two singlet scalars to the next-to-minimal composite Higgs model with $ SO(6)/SO(5) $ coset structure and extract the scalar divergences to one loop. Assuming the additional scalar to be heavy, we integ
Externí odkaz:
http://arxiv.org/abs/2201.05122
The framework of the electroweak chiral Lagrangian with a light Higgs is extended by an additional scalar and then generalized to N scalars in the Higgs sector. Divergences from scalar fluctuations are renormalized up to one loop using the background
Externí odkaz:
http://arxiv.org/abs/2201.04347
Publikováno v:
Journal of Computational Physics: X 17 (2023) 100124
The Heisenberg-Euler theory of the quantum vacuum supplements Maxwell's theory of electromagnetism with nonlinear light-light interactions. These originate in vacuum fluctuations, a key prediction of quantum theory, and can be triggered by high-inten
Externí odkaz:
http://arxiv.org/abs/2109.08121
Autor:
Brinkmann, Folke, Friedrichs, Anette, Behrens, Georg MN, Behrens, Pia, Berner, Reinhard, Caliebe, Amke, Denkinger, Claudia M., Giesbrecht, Katharina, Gussew, Alexander, Hoffmann, Anna Theresa, Hojenski, Leonhard, Hovardovska, Olga, Dopfer-Jablonka, Alexandra, Kaasch, Achim J., Kobbe, Robin, Kraus, Monika, Lindner, Andreas, Maier, Christoph, Mitrov, Lazar, Nauck, Matthias, de Miranda, Susana Nunes, Scherer, Margarete, Schmiedel, Yvonne, Stahl, Dana, Timmesfeld, Nina, Toepfner, Nicole, Vehreschild, Janne, Wohlgemuth, Walter A., Petersmann, Astrid, Vehreschild, Maria J.G.T.
Publikováno v:
In Journal of Infection and Public Health April 2024 17(4):642-649
Publikováno v:
In Journal of Computational Physics: X November 2023 17
The recent Spectre attacks have demonstrated that modern microarchitectural optimizations can make software insecure. These attacks use features like pipelining, out-of-order and speculation to extract information about the memory contents of a proce
Externí odkaz:
http://arxiv.org/abs/2007.06865