858 search results - page 31 / 172 » On the Salsa20 Core Function |
AISC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
JSW
2007
13 years 8 months ago
2007
— The paper addresses software and firmware implementation of multiple-output Boolean functions based on cascades of Look-Up Tables (LUTs). A LUT cascade is described as a means ...
IEEESCC
2010
IEEE
13 years 7 months ago
2010
IEEE
—For a service to be used in a commercial setting, certain service delivery functions such as monitoring, billing, authentication, etc need to be packaged with the service. Becau...
CAV
2010
Springer
14 years 27 days ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
ESOP
2009
Springer
14 years 26 days ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...