Abstract is missing.
- Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic SystemsGul Agha. 1-3 [doi]
- Quantitative Analysis of Randomized Distributed Systems and Probabilistic AutomataChristel Baier. 4-5 [doi]
- On Elliptic Curve Paillier SchemesMarc Joye. 6 [doi]
- Proofs of Storage: Theory, Constructions and ApplicationsSeny Kamara. 7-8 [doi]
- Code Based Cryptography and SteganographyPascal Véron. 9-46 [doi]
- Strong Prefix Codes of PicturesMarcella Anselmo, Dora Giammarresi, Maria Madonia. 47-59 [doi]
- The Algebraic Theory of Parikh AutomataMichaël Cadilhac, Andreas Krebs, Pierre McKenzie. 60-73 [doi]
- Generalized AG Codes as Evaluation CodesMarco Calderini, Massimiliano Sala. 74-82 [doi]
- Osculating Spaces of Varieties and Linear Network CodesJohan P. Hansen. 83-88 [doi]
- On Sets of Numbers Rationally Represented in a Rational Base Number SystemVictor Marsault, Jacques Sakarovitch. 89-100 [doi]
- A New Bound for Cyclic Codes Beating the Roos BoundMatteo Piva, Massimiliano Sala. 101-112 [doi]
- On a Conjecture of HellesethYves Aubry, Philippe Langevin. 113-118 [doi]
- Lattice Attacks on DSA Schemes Based on Lagrange's AlgorithmKonstantinos Draziotis, Dimitrios Poulakis. 119-131 [doi]
- Side Channel Attacks against Pairing over Theta FunctionsNadia El Mrabet. 132-146 [doi]
- On the Efficient Generation of Generalized MNT Elliptic CurvesGeorgios Fotiadis, Elisavet Konstantinou. 147-159 [doi]
- Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite FieldStéphane Ballet, Jean Chaumine, Julia Pieltant. 160-172 [doi]
- Stochastic EquationalitySymeon Bozapalidis, George Rahonis. 173-185 [doi]
- On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real NumbersSebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám. 186-198 [doi]
- Approximation of Large Probabilistic Networks by Structured Population ProtocolsMichel de Rougemont, Mathieu Tracol. 199-210 [doi]
- Model-Checking by Infinite Fly-AutomataBruno Courcelle, Irène Durand. 211-222 [doi]
- A Selection-Quotient Process for Packed Word Hopf AlgebraGérard Henry Edmond Duchamp, Nguyen Hoang Nghia, Adrian Tanasa. 223-234 [doi]
- Synchronous Forest Substitution GrammarsAndreas Maletti. 235-246 [doi]
- Characterizations of Weighted First-Order Logics over SemiringsEleni Mandrali, George Rahonis. 247-259 [doi]
- Linear Induction Algebra and a Normal Form for Linear OperatorsLaurent Poinsot. 260-273 [doi]