1. Recherche
1973 résultats  enregistrer la recherche
hal-01350161v1  Article dans une revue
Jean-Yves Marion, Joanna Jongwane. À propos de la virologie informatique
Interstices, INRIA, 2010
...
inria-00000897v1  Article dans une revue
Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem. A double large prime variation for small genus hyperelliptic index calculus
Mathematics of Computation, American Mathematical Society, 2007, 76, pp.475-492. 〈10.1090/S0025-5718-06-01900-4〉
...
lirmm-01150269v1  Article dans une revue
Florent Bruguier, Pascal Benoit, Lionel Torres, Lyonel Barthe, Morgan Bourrée et al.  Cost-Effective Design Strategies for Securing Embedded Processors
IEEE Transactions on Emerging Topics in Computing, Institute of Electrical and Electronics Engineers, 2016, 4 (1), pp.60-72. 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7050262〉. 〈10.1109/TETC.2015.2407832〉
hal-00602197v1  Communication dans un congrès
Pierre-Louis Cayrel, Pierre Dusart. McEliece/Niederreiter PKC: Sensitivity to Fault Injection
5th International Workshop on Future Engineering, 2010, May 2010, Busan, South Korea. pp.1-6, 2010, 〈10.1109/FUTURETECH.2010.5482663〉
hal-01352191v1  Communication dans un congrès
Touati Lyes, Hamed Hellaoui, Yacine Challal. Threshold Yoking/Grouping Proofs based on CP-ABE for IoT Applications
The 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-16), Aug 2016, TianJin, China. 〈http://adnet.tju.edu.cn/TrustCom2016/〉
...
hal-00851866v1  Communication dans un congrès
Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche. Security-related vulnerability life cycle analysis
7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. IEEE Computer Society, pp.1-8, 2012, 〈10.1109/CRISIS.2012.6378954〉
...
hal-01002419v1  Pré-publication, Document de travail
Jérémie Detrey. FFS Factory: Adapting Coppersmith's "Factorization Factory" to the Function Field Sieve
2014
lirmm-00153369v1  Communication dans un congrès
Laurent Imbert, Agostinho Peirera, Arnaud Tisserand. A Library for Prototyping the Computer Arithmetic Level in Elliptic Curve Cryptography
Advanced Signal Processing Algorithms, Architectures and Implementations XVII, Aug 2007, San Diego, California, United States. SPIE, 6697, pp.1-9 (66970N), 2007, 〈10.1117/12.733652〉
hal-01102378v1  Communication dans un congrès
Udit Dhawan, Cătălin Hriţcu, Rafi Rubin, Nikos Vasilakis, Silviu Chiricescu et al.  Architectural Support for Software-Defined Metadata Processing
20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), Mar 2015, Istanbul, Turkey. ACM, pp.487-502, 2015, 〈10.1145/2694344.2694383〉
hal-01102231v1  Rapport
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub et al.  Proving the TLS Handshake Secure (as it is)
[Research Report] 2014/182, Cryptology ePrint Archive. 2014, pp.48
...
lirmm-00153368v1  Communication dans un congrès
Andrew Byrne, Nicolas Méloni, Francis Crowe, William Marnane, Arnaud Tisserand et al.  SPA Resistant Elliptic Curve Cryptosystem using Addition Chains
ITNG'07: 4th International Conference on Information Technology, Apr 2007, Las Vegas, Nevada, U.S.A., IEEE, pp.995-1000, 2007, 〈10.1109/ITNG.2007.185〉
...
inria-00552886v1  Communication dans un congrès
Gilles Barthe, Daniel Hedin, Santiago Zanella-Béguelin, Benjamin Grégoire, Sylvain Heraud. A Machine-Checked Formalization of Sigma-Protocols
CSF'10, Jul 2010, Edinburgh, Sweden. IEEE, pp.246-260, 2010, 23rd IEEE Computer Security Foundations Symposium CSF 2010. 〈10.1109/CSF.2010.24〉
hal-00702622v1  Communication dans un congrès
Danuta Pamula, Edward Hrynkiewicz, Arnaud Tisserand. Analysis of GF(2^233) Multipliers Regarding Elliptic Curve Cryptosystem Applications
PDeS - 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems, May 2012, Brno, Czech Republic. pp.252-257, 2012, 〈10.3182/20120523-3-CZ-3015.00052〉
...
hal-00852244v1  Communication dans un congrès
Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche et al.  A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks
The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12, 2013
...
hal-00503951v1  Communication dans un congrès
Dewan Farid, Jérôme Darmont, Nouria Harbi, Huu Hoa Nguyen, Mohammad Zahidur Rahman. Adaptive Network Intrusion Detection Learning: Attribute Selection and Classification
WASET. International Conference on Computer Systems Engineering (ICCSE 2009), Dec 2009, Bangkok, Thailand. pp.TH60000, 2009
...
hal-00153120v1  Communication dans un congrès
Romain Vaslin, Guy Gogniat, Jean-Philippe Diguet, Russell Tessier, Wayne Burleson. High Efficiency Protection Solution for Off-Chip Memory in Embedded Systems
international conference on engineering of reconfigurable systems & algorithms, Jun 2007, Las Vegas, United States. pp.117, 2007
...
inria-00552894v1  Communication dans un congrès
Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin. Programming Language Techniques for Cryptographic Proofs
Matt Kaufmann and Lawrence C. Paulson. ITP'10, 2010, Edinburgh, United Kingdom. Springer, 6172, pp.115-130, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-14052-5_10〉
...
hal-00503961v1  Communication dans un congrès
Dewan Farid, Huu Hoa Nguyen, Jérôme Darmont, Nouria Harbi, Mohammad Zahidur Rahman. Scaling up Detection Rates and Reducing False Positives in Intrusion Detection using NBTree
WASET. International Conference on Data Mining and Knowledge Engineering (ICDMKE 2010), 2010, Rome, Italy. pp.0, 2010
...
hal-00752925v1  Communication dans un congrès
Fabien Coelho. An (Almost) Constant-E ort Solution-Veri cation Proof-of-Work Protocol based on Merkle Trees
Vaudenay, Serge. 1st international conference on Progress in cryptology, Jun 2008, Casablanca,, Morocco. Springer-Verlag Berlin, pp.Pages 80-93, 2008, LNCS
...
hal-01102229v1  Communication dans un congrès
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub et al.  Proving the TLS Handshake Secure (as it is)
Juan A. Garay; Rosario Gennaro. CRYPTO 2014, Aug 2014, Santa Barbara, United States. Springer, 8617, pp.235-255, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-44381-1_14〉
...
hal-01102144v1  Chapitre d'ouvrage
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. Defensive JavaScript
Alessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer, pp.88-123, 2014, Lecture Notes in Computer Science, 978-3-319-10081-4. 〈10.1007/978-3-319-10082-1_4〉
...
hal-01102202v1  Article dans une revue
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. Discovering concrete attacks on website authorization by formal analysis
Journal of Computer Security, IOS Press, 2014, 22 (4), pp.601-657. 〈10.3233/JCS-140503〉
...
hal-00753211v1  Article dans une revue
Bertrand Le Gal, Lilian Bossuet. Automatic low-cost IP watermarking technique based on output mark insertions
Design Automation for Embedded System, Springer, 2012, 16 (2), pp.71-92. 〈10.1007/s10617-012-9085-y〉