Sciweavers

BIRTHDAY
2016
Springer
10 years 1 months ago
An Improved Differential Attack on Full GOST
Abstract. GOST 28147-89 is a well-known block cipher and the official encryption standard of the Russian Federation. A 256-bit block cipher considered as an alternative for AES-25...
Nicolas T. Courtois
BIRTHDAY
2016
Springer
10 years 1 months ago
SpoofKiller: You Can Teach People How to Pay, but Not How to Pay Attention
We describe a novel approach to reduce the impact of spoofing by a subtle change in the login process. At the heart of our contribution is the understanding that current anti-spo...
Markus Jakobsson, Hossein Siadati
BIRTHDAY
2016
Springer
10 years 1 months ago
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq
Moessner’s Theorem describes a construction of the sequence of powers (1n , 2n , 3n , . . . ), by repeatedly dropping and summing elements from the sequence of positive natural n...
Robbert Krebbers, Louis Parlant, Alexandra Silva
BIRTHDAY
2016
Springer
10 years 1 months ago
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically
Existing treatments of Dijkstra’s guarded-command language treat divergence and failure as equivalent, even though Dijkstra clearly states they are not. We reexamine Dijkstra’s...
David A. Schmidt
BIRTHDAY
2016
Springer
10 years 1 months ago
Safe-Errors on SPA Protected Implementations with the Atomicity Technique
ecdsa is one of the most important public-key signature scheme, however it is vulnerable to lattice attack once a few bits of the nonces are leaked. To protect Elliptic Curve Crypt...
Pierre-Alain Fouque, Sylvain Guilley, Cédri...
BIRTHDAY
2016
Springer
10 years 1 months ago
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions
In this paper, we present a small-step operational semantics for a small concurrent language supporting deferred function calls and related constructs in the style of the Go progra...
Martin Steffen
BIRTHDAY
2016
Springer
10 years 1 months ago
Bitsliced High-Performance AES-ECB on GPUs
Abstract. In order to perform high-performance Monte Carlo simulations of fracture in certain composite materials, we needed fast methods for generating deterministic random number...
Rone Kwei Lim, Linda R. Petzold, Çetin Kaya...
BIOSYSTEMS
2016
61views more  BIOSYSTEMS 2016»
10 years 1 months ago
The system-resonance approach in modeling genetic structures
The founder of the theory of resonance in structural chemistry Linus Pauling established the importance of resonance patterns in organization of living systems. Any living organism...
Sergey V. Petoukhov
BIOMEDSEM
2016
64views more  BIOMEDSEM 2016»
10 years 1 months ago
Towards exergaming commons: composing the exergame ontology for publishing open game data
Giorgos Bamparopoulos, Evdokimos I. Konstantinidis...