Zobrazeno 1 - 10
of 413
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
Publikováno v:
EPJ Web of Conferences, Vol 245, p 02028 (2020)
The large volume of data expected to be produced by the Belle II experiment presents the opportunity for studies of rare, previously inaccessible processes. Investigating such rare processes in a high data volume environment necessitates a correspond
Externí odkaz:
https://doaj.org/article/1a25256483e043c598806cef1fe66606
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
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
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:
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
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