.:. Browse > Last articles .:.

30 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3

From security protocols to pushdown automata Chrétien R., Cortier V., Delaune S. N° RR-8290 (2013) [hal-00817230 - version 1]

Fonctions de forme des éléments finis généralisés de Bézier rationnels George P.-L. N° RR-8289 (2013) [hal-00816851 - version 1]

On disjoint directed cycles with prescribed minimum lengths Havet F., Maia A. K. N° RR-8286 (2013) [hal-00816135 - version 2]

Discovering Concrete Attacks on Website Authorization by Formal Analysis Bansal C., Bhargavan K., Delignat-Lavaud A., Maffeis S. N° RR-8287 (2013) [hal-00815834 - version 1]

Embedding of Security Components in Untrusted Third-Party Websites Delignat-Lavaud A., Bhargavan K., Maffeis S. N° RR-8285 (2013) [hal-00815800 - version 1]

Semi-matching algorithms for scheduling parallel tasks under resource constraints Benoit A., Langguth J., Uçar B. N° RR-8089 (2012) [hal-00738393 - version 4]

Program Transformation for Non-interference Verification on Programs with Pointers Assaf M., Signoles J., Tronel F., Totel E. N° RR-8284 (2013) [hal-00814671 - version 1]

HA-Buffer: Coherent Hashing for single-pass A-buffer Lefebvre S., Hornus S., Lasram A. N° RR-8282 (2013) [hal-00811585 - version 1]

Gaussian Mixture Regression model with logistic weights, a penalized maximum likelihood approach Montuelle L., Le Pennec E., Cohen S. N° RR-8281 (2013) [hal-00809735 - version 1]

Summarized Explanations from Linked Justifications Hasan R., Gandon F. N° RR-8279 (2013) [hal-00808037 - version 1]