Results 11 to 20 of about 38,778 (116)

Efficient design and evaluation of countermeasures against fault attacks using formal verification [PDF]

, 2015
This paper presents a formal verification framework and tool that evaluates the robustness of software countermeasures against fault-injection attacks. By modeling reference assembly code and its protected variant as automata, the framework can generate ...
AG Bayrak, B Chetali, D Boneh, E Biham, H Bar-El, H Eldib, J-F Lalande, N Moro, P Rauzy, S Asghari   +9 more
core   +3 more sources

Argumentation-based fault diagnosis for home networks [PDF]

, 2011
Home networks are a fast growing market but managing them is a difficult task, and diagnosing faults is even more challenging. Current fault management tools provide comprehensive information about the network and the devices but it is left to the user ...
Dong, Changyu, Dulay, Naranker
core   +1 more source

How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

, 2020
Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment.
Akca Sefa, Atzei Nicola, Bonett Richard, Brent Lexi, Buterin Vitalik, Chan WK, Hildenbrandt Everett, Krupp Johannes, Peng Chao, Wang Xingya   +9 more
core   +1 more source

Formal Verification of Security Protocol Implementations: A Survey [PDF]

, 2014
Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
A Bauer, A Bauer, A Pironti, A Pironti, Alfredo Pironti, D Dolev, D Otway, E Kleiner, EM Clarke, G Lowe, G Schellhorn, GT Leavens, J Bengtson, J Jürjens, J Jürjens, K Bhargavan, L Viganò, LC Paulson, M Abadi, M Abadi, M Abadi, M Abadi, M Avalle, Matteo Avalle, Riccardo Sisto, RM Needham, S Goldwasser, V Cortier   +27 more
core   +3 more sources

Stacco: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves

, 2017
Intel Software Guard Extension (SGX) offers software applications enclave to protect their confidentiality and integrity from malicious operating systems.
Almeida José Bacelar, Almeida José Bacelar, Aviram Nimrod, Bardou Romain, Brasser Ferdinand, Chen Xiaoxin, Chen Yuting, Costan Victor, Dan R., Li Yanlin, Manger James, Matetic Sinisa, Ohrimenko Olga, Ruiter Joeri De, Shinde Shweta, Somorovsky Juraj, Ta-Min Richard, Yount Charles, Zhang Xiaokuan   +18 more
core   +1 more source

A Security Analysis of IoT Encryption: Side-channel Cube Attack on Simeck32/64 [PDF]

, 2018
Simeck, a lightweight block cipher has been proposed to be one of the encryption that can be employed in the Internet of Things (IoT) applications. Therefore, this paper presents the security of the Simeck32/64 block cipher against side-channel cube ...
Abdul-Latip, Shekh Faisal, Ahmad, Rabiah, Buja, Alya Geogiana   +2 more
core   +2 more sources

Algorithm Diversity for Resilient Systems

, 2019
Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit.
A Avizienis, DS Hirschberg, FB Cohen, G Ricart, L Lamport, L Lamport, R Paige, YA Liu, YA Liu, YA Liu, YA Liu   +10 more
core   +1 more source

AFTI/F-16 digital flight control system experience [PDF]

, 1984
The Advanced Flighter Technology Integration (AFTI) F-16 program is investigating the integration of emerging technologies into an advanced fighter aircraft.
Mackall, D. A.
core   +1 more source

Resilience of multi-robot systems to physical masquerade attacks [PDF]

, 2019
The advent of autonomous mobile multi-robot systems has driven innovation in both the industrial and defense sectors. The integration of such systems in safety-and security-critical applications has raised concern over their resilience to attack. In this
Li, Wenchao, Tron, Roberto, Wardega, Kacper   +2 more
core   +1 more source

Model-Based Security Testing

, 2012
Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many
A. Takanen, Alexander K. Petrenko, Barton P. Miller, David Basin, F. Y. Gu Tian-yang, Shi Yin-sheng & Yuan, Guido Wimmel, Holger Schlingloff, Ida Hogganvik, Ina Schieferdecker, Jan Jürjens, Jan Jürjens, Jan Jürjens, Jan Jürjens, Juergen Grossmann, K.A. Reay, Linzhang Wang, M. S. Lund, Mark Blackburn, Martin Schneider, Martin Weiglhofer, Matthias Güdemann, Paul Baker, Paul Gerrard, Rauli Kaksonen, Sjouke Mauw, Tejeddine Mouelhi, W E Vesely   +26 more
core   +2 more sources