Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Erata, Ferhat"'
Autor:
Miner, Stephen, Takashima, Yoshiki, Han, Simeng, Erata, Ferhat, Antonopoulos, Timos, Piskac, Ruzica, Shapiro, Scott J
Benchmarks are critical for measuring progress of math reasoning abilities of Large Language Models (LLMs). However, existing widely-used benchmarks such as GSM8K have been rendered less useful as multiple cutting-edge LLMs achieve over 94% accuracy.
Externí odkaz:
http://arxiv.org/abs/2410.00151
Autor:
Erata, Ferhat, Chiu, TingHung, Etim, Anthony, Nampally, Srilalith, Raju, Tejas, Ramu, Rajashree, Piskac, Ruzica, Antonopoulos, Timos, Xiong, Wenjie, Szefer, Jakub
This work presents a novel, black-box software-based countermeasure against physical attacks including power side-channel and fault-injection attacks. The approach uses the concept of random self-reducibility and self-correctness to add randomness an
Externí odkaz:
http://arxiv.org/abs/2405.05193
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any give
Externí odkaz:
http://arxiv.org/abs/2403.06012
Autor:
Kern, Matthias, Erata, Ferhat, Iser, Markus, Sinz, Carsten, Loiret, Frederic, Otten, Stefan, Sax, Eric
This paper proposes an approach for a tool-agnostic and heterogeneous static code analysis toolchain in combination with an exchange format. This approach enhances both traceability and comparability of analysis results. State of the art toolchains s
Externí odkaz:
http://arxiv.org/abs/2403.05986
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require that software systems be specified in various models (e.g., requirements
Externí odkaz:
http://arxiv.org/abs/2403.02652
Autor:
Erata, Ferhat, Gardent, Claire, Gyawali, Bikash, Shimorina, Anastasia, Lussaud, Yvan, Tekinerdogan, Bedir, Kardas, Geylani, Monceaux, Anne
The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of System I
Externí odkaz:
http://arxiv.org/abs/2403.01359
The interest in quantum computing has grown rapidly in recent years, and with it grows the importance of securing quantum circuits. A novel type of threat to quantum circuits that dedicated attackers could launch are power trace attacks. To address t
Externí odkaz:
http://arxiv.org/abs/2401.15869
The rapid growth of interest in quantum computing has brought about the need to secure these powerful machines against a range of physical attacks. As qubit counts increase and quantum computers achieve higher levels of fidelity, their potential to e
Externí odkaz:
http://arxiv.org/abs/2309.05478
With the rapidly growing interest in quantum computing also grows the importance of securing these quantum computers from various physical attacks. Constantly increasing qubit counts and improvements to the fidelity of the quantum computers hold grea
Externí odkaz:
http://arxiv.org/abs/2304.03315
Although cryptographic algorithms may be mathematically secure, it is often possible to leak secret information from the implementation of the algorithms. Timing and power side-channel vulnerabilities are some of the most widely considered threats to
Externí odkaz:
http://arxiv.org/abs/2304.02102