Sciweavers

17 search results - page 4 / 4
» Open Problems Related to Algebraic Attacks on Stream Ciphers
Sort
View
FC
2010
Springer
169views Cryptology» more  FC 2010»
13 years 9 months ago
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
Bogdan Groza, Marius Minea
GPCE
2007
Springer
14 years 5 days ago
Simple and safe SQL queries with c++ templates
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
Joseph Gil, Keren Lenz