• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    Security Proofs for Embedded Systems

    Security Proofs for Embedded Systems

    Conference

    年发文量

    研究主题

    论文(15)

    排序
    1A Method for Constructing Sliding Windows Leak from Noisy Cache Timing Information
    Ueno Rei,Takahashi Junko,Hayashi Yu-ichi,Homma Naofumi

    This paper presents a method for constructing an operation sequence of sliding window exponentiation from the noisy cache information of RSA, which can be used for a cache attack using sliding windows leak (SWL). An SWL attack can retrieve the secret keys of RSA with non-negligible probability if the SWL is correctly captured. However, in practice, it is not always possible for an attacker to acquire a complete and correct operation sequence from cache information observation. In this paper, we first show that the capture errors in an operation sequence can be evaluated based on the Levenshtein distance between correct and estimated sequences. The dynamic time warping algorithm is employed for quantitative evaluation. Then, we present a method of accurately estimating a complete and correct operation sequence from noisy sequences obtained through multiple observations. Furthermore, we show the effectiveness of the proposed method through a set of experiments performed using RSA software in Libgcrypt. As a result, we can identify the correct operation sequence from approximately 100 observations of cache traces.

    2019
    引用
    AI阅读
    加入学术空间
    2Detecting Faults in Inner Product Masking Scheme.
    Cheng Wei,Carlet Claude,Goli Kouassi, Secure-IC S.A.S., PSL Research University

    Side-channel analysis and fault injection attacks are two typical threats to cryptographic implementations, especially in modern embedded devices. Thus, there is an insistent demand for dual side-channel and fault injection protections. As we know, masking is a kind of provable countermeasure against side-channel attacks. Recently, inner product masking (IPM) was proposed as a promising higher-order masking scheme against side-channel analysis, but not for fault injection attacks. In this paper, we devise a new masking scheme named IPM-FD. It is built on IPM, which enables fault detection. This novel masking scheme has three properties: the security orders in the word-level probing model, bit-level probing model and the number of detected faults. IPM-FD is proven secure both in the word-level and in the bit-level probing models and allows for end-to-end fault detection against fault injection attacks. Furthermore, we illustrate its security order by interpreting IPM-FD as a coding problem and then linking it to one defining parameters of linear code and show its implementation cost by applying IPM-FD to AES-128.

    2019引用:4
    引用
    AI阅读
    加入学术空间
    3A Comment on Information Leakage from Robust Code-Based Checkers Detecting Fault Attacks on Cryptographic Primitives
    Osnat Keren,Ilia Polian

    Cryptographic hardware primitives must be protected against fault-injection attacks. Security-oriented error-detecting codes provide (probabilistic) guarantees for detection of maliciously injected faults even under assumption of a sophisticated attacker with access to powerful equipment.In this paper, we revisit the earlier finding that error-detection infrastructure may increase the undesired information leakage. We formalize the information leakage from the checker response by means of mutual information. We apply our analysis to the best security-oriented robust codes known today. We prove that the probability of an undetected attack is exponentially smaller than the entropy loss due to information leak from the checker. This means that an attack will be detected far before the attacker will gain significant information. Given a bound for acceptable information leakage (e.g., 0.5 bits of a 128-bit secret key), our analysis allows the designer to easily choose the number of redundant bits required to stay below that bound. The obtained results extend our knowledge about the relationship between detection capabilities of codes and information leakage due to them.

    2019
    引用
    AI阅读
    加入学术空间
    4Rock’n’roll PUFs: Crafting Provably Secure Pufs from Less Secure Ones (extended Version)
    Ganji Fatemeh,Tajik Shahin, Stauss Pascal,Seifert Jean-Pierre,Tehranipoor Mark,Forte Domenic

    The era of PUFs has been characterized by the efforts put into research and the development of PUFs that are resilient against attacks, in particular, machine learning attacks. Due to the lack of systematic and provable methods for this purpose, we have witnessed the ever-continuing competition between PUF designers/manufacturers, cryptanalysts, and of course, adversaries that maliciously break the security of PUFs. This is despite a series of acknowledged principles developed in cryptography and complexity theory, under the umbrella term “hardness amplification”. This paper aims at narrowing the gap between these studies and hardware security, specifically for applications in the domain of PUFs. To this end, this paper provides an example of somewhat hard PUFs and demonstrates how to build a strongly secure construction out of these considerably weaker primitives. Our theoretical findings are discussed in an exhaustive manner and supported by the silicon results captured from real-world PUFs.

    2019引用:18
    引用
    AI阅读
    加入学术空间
    5End-to-end Automated Cache-Timing Attack Driven by Machine Learning
    Perianin Thomas, Institut Polytechnique de Paris,Dyseryn Victor, PSL Research University

    Cache-timing attacks are serious security threats that exploit cache memories to steal secret information. We believe that the identification of a sequence of function calls from cache-timing data measurements is not a trivial step when building an attack. We present a recurrent neural network model able to automatically retrieve a sequence of operations from cache timings. Inspired from natural language processing, our model is able to learn on partially labelled data. We use the model to unfold an end-to-end automated attack on OpenSSL ECDSA on the secp256k1 curve. Our attack is able to extract the 256 bits of the secret key by automatic analysis of about 2400 traces without any human processing.

    2019引用:12
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 15 篇论文

    高被引作者

    作者引用发文
    Debdeep Mukhopadhyay453
    Ingrid Verbauwhede341
    Josep Balasch341
    Danilo Sijacic341
    Bohan Yang341
    Santosh Ghosh341
    Emmanuelle Encrenaz261
    Karine Heydemann261
    Inès Ben El Ouahma261
    Quentin L. Meunier261

    高产作者

    作者引用发文
    Debdeep Mukhopadhyay453
    Osnat Keren122
    Ilia Polian122
    Rei Ueno242
    Naofumi Homma242
    Nils Wisiol01
    Christoph Baumann51
    Poulami Das01
    Jean-Pierre Seifert221
    Danilo Sijacic341

    相关期刊

    Symposium on Computer Arithmetic
    Conference on Cryptographic Hardware and Embedded Systems
    Hardware/Software Codesign and System Synthesis
    Embedded Computer Systems: Architectures, Modeling and Simulation
    Fault Diagnosis and Tolerance in Cryptography
    Automation, Robotics and Control Systems
    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
    Asian Hardware-Oriented Security and Trust Symposium
    Rapid Simulation and Performance Evaluation
    Network on Chip Architectures