Zobrazeno 1 - 10
of 26 141
pro vyhledávání: '"Ferhat, A."'
In recent years, neural networks have been used to implement symmetric cryptographic functions for secure communications. Extending this domain, the proposed approach explores the application of asymmetric cryptography within a neural network framewo
Externí odkaz:
http://arxiv.org/abs/2407.08831
Autor:
Catak, Ferhat Ozgur, Kuzlu, Murat
Uncertainty quantification approaches have been more critical in large language models (LLMs), particularly high-risk applications requiring reliable outputs. However, traditional methods for uncertainty quantification, such as probabilistic models a
Externí odkaz:
http://arxiv.org/abs/2406.19712
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
Fault Detection and Monitoring using an Information-Driven Strategy: Method, Theory, and Application
The ability to detect when a system undergoes an incipient fault is of paramount importance in preventing a critical failure. In this work, we propose an information-driven fault detection method based on a novel concept drift detector. The method is
Externí odkaz:
http://arxiv.org/abs/2405.03667
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
We give a prescription how high energy physics tools can be used to perform scalar dark matter analysis. We also present the analysis results of scalar dark matter in the context of 6 dimensional Effective Field Theory.
Comment: 8 pages, 5 figur
Comment: 8 pages, 5 figur
Externí odkaz:
http://arxiv.org/abs/2312.05037