Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01242268v1 Journal articles Sébastien Gambs, Marc-Olivier Killijian, Miguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
	inria-00543126v1 Journal articles Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal. Eventual Leader election with weak assumptions on initial knowledge, communication reliability and synchrony. Journal of Computer Science and Technology, Springer Verlag, 2010, 25 (6), pp.1267-1281. ⟨10.1007/s11390-010-9404-3⟩
	hal-00782467v1 Journal articles Nabil Nassif, Noha Makhoul-Karam, Yeran Soukiassian. Computation of blowing-up solutions for second-order differential equations using re-scaling techniques Journal of Computational and Applied Mathematics, Elsevier, 2009, 227 (1), pp.185-195. ⟨10.1016/j.cam.2008.07.020⟩
	inria-00543100v1 Journal articles Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The k-simultaneous consensus problem Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩
	hal-00764124v1 Journal articles Guang Tan, Anne-Marie Kermarrec. Greedy Geographic Routing in Large-Scale Sensor Networks: A Minimum Network Decomposition Approach. IEEE/ACM Transactions on Networking, IEEE/ACM, 2012, 20 (3), pp.864-877
	inria-00338084v1 Journal articles Roy Friedman, Achour Mostefaoui, Michel Raynal. *On the Respective Power of P and S to Solve One-Shot Agreement Problems* IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2007, 18 (5), pp.589-597
	inria-00436485v1 Journal articles Jiannong Cao, Michel Raynal, Weigang Wu. Eventual Clusterer: a Modular Approach to Designing Hierarchical Consensus Protocols in MANETs IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, ⟨10.1109/TPDS.2008.266⟩
	hal-02470995v1 Journal articles Brice Minaud, Patrick Derbez, Pierre-Alain Fouque, Pierre Karpman. Key-Recovery Attacks on ASASA. Journal of Cryptology, Springer Verlag, 2018, 31 (3), pp.845-884
	hal-00566602v1 Journal articles Caroline de Dieuleveult, Jocelyne Erhel, Michel Kern. A global strategy for solving reactive transport equations Journal of Computational Physics, Elsevier, 2009, 228 (17), pp.6395-6410. ⟨10.1016/j.jcp.2009.05.044⟩
	hal-00432977v1 Journal articles Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. On the computability power and the robustness of set agreement-oriented failure detector classes Distributed Computing, Springer Verlag, 2008, 21 (3), pp.201-222
	hal-01097141v1 Journal articles Pierre Fraigniaud, George Giakkoupis. Greedy routing in small-world networks with power-law degrees Distributed Computing, Springer Verlag, 2014, 27 (4), pp.231 - 253. ⟨10.1007/s00446-014-0210-y⟩
	inria-00331603v1 Journal articles Erwan Le Merrer, Anne-Marie Kermarrec, Ayalvadi Ganesh, Laurent Massoulié. Peer counting and sampling in overlay networks based on random walks Distributed Computing, Springer Verlag, 2007, 20 (4), pp.267-278. ⟨10.1007/s00446-007-0027-z⟩
	hal-00839625v1 Journal articles Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert et al. Byzantine agreement with homonyms Distributed Computing, Springer Verlag, 2013, 26 (5-6), pp.321-340. ⟨10.1007/s00446-013-0190-3⟩
	inria-00440386v1 Conference papers Raimundo Macêdo, Michel Raynal. Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead Franco-Brazilian Colloquium on Advances and Challenges in Computer Science (COLIBRI'09), Jul 2009, Bento Goncalves, Brazil
	hal-00761351v1 Journal articles Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet. Spécification et mécanisme de détection de flots d'information illégaux Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩
	hal-00647170v1 Conference papers Mathieu Jaume, Valérie Viet Triem Tong, Ludovic Mé. Flow based interpretation of access control: Detection of illegal information flows 7th International Conference on Information Systems Security (ICISS), Dec 2011, Kolkata, India. pp.72-86, ⟨10.1007/978-3-642-25560-1_5⟩
	inria-00614597v3 Reports Matthieu Dorier, Gabriel Antoniu, Franck Cappello, Marc Snir, Leigh Orf. Damaris: Leveraging Multicore Parallelism to Mask I/O Jitter [Research Report] RR-7706, INRIA. 2012, pp.36
	inria-00436689v1 Conference papers Rachid Guerraoui, Sidath Handurukande, Kévin Huguenin, Anne-Marie Kermarrec, Fabrice Le Fessant et al. GosSkip, an Efficient, Fault-tolerant and Self Organizing Overlay using Gossip-based Construction and Skip-lists Principles 6th IEEE International Conference on Peer to Peer Computing (P2P), Sep 2006, Cambridge, United Kingdom. ⟨10.1109/P2P.2006.19⟩
	hal-01615265v1 Preprints, Working Papers, ... Véronique Cortier, Antoine Dallon, Stéphanie Delaune. A typing result for trace inclusion (for pair and symmetric encryption only) 2017
	hal-01624274v1 Conference papers Véronique Cortier, Antoine Dallon, Stéphanie Delaune. SAT-Equiv: An Efficient Tool for Equivalence Properties 30th IEEE Computer Security Foundations Symposium (CSF'17), Jul 2017, Santa Barbara, United States. pp.481 - 494, ⟨10.1109/CSF.2017.15⟩
	hal-01529966v1 Reports Véronique Cortier, Antoine Dallon, Stéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
	hal-01900083v1 Conference papers Véronique Cortier, Antoine Dallon, Stéphanie Delaune. Efficiently deciding equivalence for standard primitives and phases ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelona, Spain
	hal-01741172v1 Reports Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune. Typing messages for free in security protocols [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018, pp.1-49
	hal-01533694v1 Reports David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR (extended version) [Research Report] Inria Nancy - Grand Est. 2017, pp.29
	hal-01906639v1 Journal articles Stéphanie Delaune, David Baelde, Lucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (2), pp.1-48. ⟨10.23638/LMCS-13(2:8)2017⟩
	hal-01819366v1 Preprints, Working Papers, ... Véronique Cortier, Antoine Dallon, Stéphanie Delaune. Efficiently deciding equivalence for standard primitives and phases 2018
	hal-01410216v1 Conference papers Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire et al. Strong Non-Interference and Type-Directed Higher-Order Masking CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.116 - 129, ⟨10.1145/2976749.2978427⟩
	hal-01906651v1 Conference papers Stéphanie Delaune, David Baelde, Lucca Hirschi. POR for Security Protocol Equivalences - Beyond Action-Determinism Computer Security - 23rd European Symposium on Research in Computer Security, 2018, Barcelone, Spain
	inria-00135239v1 Conference papers Yann Busnel, Marin Bertier, Eric Fleury, Anne-Marie Kermarrec. GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Network EuroSys 2007, Second conference of the European Chapter of ACM SIGOPS, European Chapter of ACM SIGOPS, Mar 2007, Lisboa/Portugal
	hal-00916091v1 Conference papers Matthieu Dorier, Gabriel Antoniu, Robert Ross, Dries Kimpe, Shadi Ibrahim. CALCioM: Mitigating I/O Interference in HPC Systems through Cross-Application Coordination IPDPS - International Parallel and Distributed Processing Symposium, May 2014, Phoenix, United States
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize