Results 121 to 130 of about 12,096 (166)

Multiprecision ANSI C Library for Implementation of Cryptographic Algorithms on Microcontrollers

Mediterranean Conference on Embedded Computing, 2019
Current cryptographic algorithms work with operands that are several times wider than the machine word, e.g., the still popular RSA algorithm shall use at least 2048-bit keys.
Jan Riha, Jakub Klemsa, M. Novotný
semanticscholar   +1 more source

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs

IEEE Symposium on Security and Privacy, 2021
David Heath, Yibin Yang, David Devecsery, V. Kolesnikov   +3 more
semanticscholar   +1 more source

Translating UML-RSDS OCL to ANSI C

STAF Workshops, 2017
K. Lano, Sobhan Yassipour Tehrani, H. Alfraihi, S. Rahimi   +3 more
semanticscholar   +1 more source

Scalable secure computation from ANSI-C

International Workshop on Information Forensics and Security, 2016
Niklas Büscher, D. Kretzmer, Arnav Jindal, S. Katzenbeisser   +3 more
semanticscholar   +1 more source

Model checking LTL properties over ANSI-C programs with bounded traces

Journal of Software and Systems Modeling, 2015
J. Morse, L. Cordeiro, D. Nicole, B. Fischer   +3 more
semanticscholar   +1 more source

A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators

International Symposium on Circuits and Systems, 2014
M. B. Hammouda, P. Coussy, Loïc Lagadec
semanticscholar   +1 more source

Secure two-party computations in ANSI C

Conference on Computer and Communications Security, 2012
Andreas Holzer, M. Franz, S. Katzenbeisser, H. Veith   +3 more
semanticscholar   +1 more source

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC

Reliability Engineering & System Safety, 2013
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
semanticscholar   +1 more source