Results 1 to 10 of about 527 (228)
Secure Message Authentication in the Presence of Leakage and Faults
IACR Transactions on Symmetric Cryptology, 2023 Security against side-channels and faults is a must for the deployment of embedded cryptography. A wide body of research has investigated solutions to secure implementations against these attacks at different abstraction levels.
Francesco Berti +4 more
doaj +1 more source
Medha: Microcoded Hardware Accelerator for computing on Encrypted Data
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Homomorphic encryption enables computation on encrypted data, and hence it has a great potential in privacy-preserving outsourcing of computations to the cloud.
Ahmet Can Mert +6 more
doaj +1 more source
Towards Low-Energy Leakage-Resistant Authenticated Encryption from the Duplex Sponge Construction
IACR Transactions on Symmetric Cryptology, 2020 The ongoing NIST lightweight cryptography standardization process highlights the importance of resistance to side-channel attacks, which has renewed the interest for Authenticated Encryption schemes (AEs) with light(er)-weight sidechannel secure ...
Chun Guo +3 more
doaj +1 more source
Design a scale of teaching competencies for students teachers in faculties of physical education. [PDF]
International Journal of Sports Science and Arts, 2017 The research aims to design a scale for teaching performance competency for students teachers in faculty of physical education for men- Alexandria University, the researchers used the descriptive method for its suitability to the nature of the research,
Mohsen Saltah, Taha Taha
doaj +1 more source
Implementation at Multiple Levels
, 2022 This chapter takes stock of the political impact of the Sustainable Development Goals within countries. It explores the various initiatives taken by national governments, sub-national authorities, the corporate sector and civil society, and assesses their strategies and approaches to implement the Sustainable Development Goals in their spheres.
Llanos, Andrea Ordóñez +15 more
openaire +2 more sources
On the Diversity of Capturing Variability at the Implementation Level [PDF]
Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, 2017 In many Software product lines (SPLs), if domain variability can be properly speciied in terms of features in a feature model (FM), their implementation in core-code assets is hard to capture and maintain, as there are diierent techniques to implement the variability.
Tërnava, Xhevahire, Collet, Philippe
openaire +2 more sources
TEDT, a Leakage-Resist AEAD Mode for High Physical Security Applications
Transactions on Cryptographic Hardware and Embedded Systems, 2019 We propose TEDT, a new Authenticated Encryption with Associated Data (AEAD) mode leveraging Tweakable Block Ciphers (TBCs). TEDT provides the following features: (i) It offers full leakage-resistance, that is, it limits the exploitability of physical ...
Francesco Berti +4 more
doaj +1 more source
Implementing Standardization Education at the National Level [PDF]
International Journal of IT Standards and Standardization Research, 2011 This paper explores how standardization education can be implemented at the national level. Previous studies form the main source for the paper. This research shows that implementation of standardization in the national education system requires policy at the national level, a long term investment in support, and cooperation between industry ...
openaire +3 more sources
Implementation-level verification of algorithms with KeY
International Journal on Software Tools for Technology Transfer, 2013 We give an account on the authors' experience and results from the software verification competition held at the Formal Methods 2012 conference. Competitions like this are meant to provide a benchmark for verification systems. It consisted of three algorithms which the authors have implemented in Java, specified with the Java Modeling Language, and ...
Daniel Bruns +2 more
openaire +3 more sources
Implementing high-level identification specifications [PDF]
, 1992 Identification is the task of finding the relation between used identifier occurrences and the declared entities of a program. The paper presents the techniques needed for the implementation of high-level identification specifications based on visibility rules.
openaire +2 more sources