Archive ouverte HAL

	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 1000 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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〉
	inria-00550379v1 Autre publication Michaël Hauspie, Isabelle Simplot-Ryl. How to negociate the price of packet forwarding in credit-based systems for ad-hoc networks no note. 2005
	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-01102224v1 Rapport Cătălin Hriţcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo De Amorim, Maxime Dénès et al. Testing Noninterference, Quickly [Research Report] arXiv:1409.0393, arXiv. 2014, pp.50
	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-01102192v1 Article dans une revue Michael Backes, Cătălin Hriţcu, Matteo Maffei. Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations Journal of Computer Security, IOS Press, 2014, 22 (2), pp.301-353. 〈10.3233/JCS-130493〉
	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-00353000v1 Communication dans un congrès Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin. Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information Flows CRiSIS 2008, Oct 2008, Tozeur, Tunisia. 8 p., 2008
	hal-00353005v1 Communication dans un congrès Frédéric Majorczyk, Eric Totel, Ludovic Mé, Ayda Saidane. Anomaly Detection with Diagnosis in Diversified Systems using Information Flow Graphs IFIP SEC 2008, Sep 2008, Milan, Italy. 15 p., 2008
	hal-00353056v1 Article dans une revue Jouni Viinikka, Hervé Debar, Ludovic Mé, Anssi Lehikoinen, Mika Tarvainen. Processing Intrusion Detection Alert Aggregates with Time Series Modeling Information Fusion, Elsevier, 2009, 10 (4), pp.312-324
	hal-00353059v1 Article dans une revue Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé. A logic-based model to support alert correlation in intrusion detection Information Fusion, Elsevier, 2009, 10 (4), pp.285-299. 〈10.1016/j.inffus.2009.01.005〉
	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〉
	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 1000 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact