Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Front Matter....Pages -
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems....Pages 1-3
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata....Pages 4-5
On Elliptic Curve Paillier Schemes....Pages 6-6
Proofs of Storage: Theory, Constructions and Applications....Pages 7-8
Code Based Cryptography and Steganography....Pages 9-46
Strong Prefix Codes of Pictures....Pages 47-59
The Algebraic Theory of Parikh Automata....Pages 60-73
Generalized AG Codes as Evaluation Codes....Pages 74-82
Osculating Spaces of Varieties and Linear Network Codes....Pages 83-88
On Sets of Numbers Rationally Represented in a Rational Base Number System....Pages 89-100
A New Bound for Cyclic Codes Beating the Roos Bound....Pages 101-112
On a Conjecture of Helleseth....Pages 113-118
Lattice Attacks on DSA Schemes Based on Lagrange’s Algorithm....Pages 119-131
Side Channel Attacks against Pairing over Theta Functions....Pages 132-146
On the Efficient Generation of Generalized MNT Elliptic Curves....Pages 147-159
Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field....Pages 160-172
Stochastic Equationality....Pages 173-185
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers....Pages 186-198
Approximation of Large Probabilistic Networks by Structured Population Protocols....Pages 199-210
Model-Checking by Infinite Fly-Automata....Pages 211-222
A Selection-Quotient Process for Packed Word Hopf Algebra....Pages 223-234
Synchronous Forest Substitution Grammars....Pages 235-246
Characterizations of Weighted First-Order Logics over Semirings....Pages 247-259
Linear Induction Algebra and a Normal Form for Linear Operators....Pages 260-273
Back Matter....Pages -