Sciweavers

1537 search results - page 36 / 308
» On sets not belonging to algebras
Sort
View
CASC
2010
Springer
125views Mathematics» more  CASC 2010»
14 years 7 months ago
Thomas Decomposition of Algebraic and Differential Systems
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
Thomas Bächler, Vladimir P. Gerdt, Markus Lan...
CISC
2009
Springer
185views Cryptology» more  CISC 2009»
14 years 7 months ago
Algebraic Cryptanalysis of Curry and Flurry Using Correlated Messages
In [10], Buchmann, Pyshkin and Weinmann have described two families of Feistel and SPN block ciphers called Flurry and Curry respectively. These two families of ciphers are fully p...
Jean-Charles Faugère, Ludovic Perret
108
Voted
ANTS
2006
Springer
139views Algorithms» more  ANTS 2006»
15 years 1 months ago
Hard Instances of the Constrained Discrete Logarithm Problem
The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent x belongs to a set known to the attacker. The complexity of generic algorithms f...
Ilya Mironov, Anton Mityagin, Kobbi Nissim
CSFW
2000
IEEE
15 years 2 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
JUCS
2010
107views more  JUCS 2010»
14 years 8 months ago
Algebras and Update Strategies
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
Michael Johnson, Robert D. Rosebrugh, Richard Wood