Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « security »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
securing < security < securityand  Facettes :

List of bibliographic references indexed by security

Number of relevant bibliographic references: 589.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000020 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000037 (2016-04-25) Wazen M. Shbair [France] ; Thibault Cholez [France] ; Jérôme François [France] ; Isabelle Chrisment [France]A Multi-Level Framework to Identify HTTPS Services
000057 (2016-03) Steve Kremer [France] ; Peter R Nne [France]To Du or not to Du: A Security Analysis of Du-Vote
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000173 (2016) Pierrick Gaudry [France] ; Laurent Grémy [France] ; Marion Videau [France]Collecting relations for the Number Field Sieve in GF(p^6)
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000187 (2015-12-15) Mihai Andries [France]Object and human tracking, and robot control through a load sensing floor
000212 (2015-11-29) Razvan Barbulescu [France] ; Pierrick Gaudry [France] ; Thorsten Kleinjung [Suisse]The Tower Number Field Sieve
000237 (2015-11-10) Houari Mahfoud [Algérie] ; Abdessamad Imine [France]Efficient Querying of XML Data Through Arbitrary Security Views
000240 (2015-11-09) Gaëtan Hurel [France] ; Rémi Badonnel [France] ; Abdelkader Lahmadi [France] ; Olivier Festor [France]Behavioral and Dynamic Security Functions Chaining For Android Devices
000255 (2015-11) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]From Security Protocols to Pushdown Automata
000267 (2015-10-21) Elio Goettelmann [France]Risk-aware Business Process Modelling and Trusted Deployment in the Cloud
000270 (2015-10-20) Frédéric Dadeau [France] ; Elizabeta Fourneret [France]Experience report on Model-Based Testing of Security Components
000284 (2015-10-12) David Adrian [France] ; Karthikeyan Bhargavan [France] ; Zakir Durumeric [France] ; Pierrick Gaudry [France] ; Matthew Green [États-Unis] ; J. Alex Halderman [France] ; Nadia Heninger [États-Unis] ; Drew Springall [États-Unis] ; Emmanuel Thomé [France] ; Luke Valenta [États-Unis] ; Benjamin Vandersloot [France] ; Eric Wustrow [France] ; Santiago Zanella-Béguelin [Canada] ; Paul Zimmermann [France]Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
000303 (2015-09-29) Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France]Brandt's fully private auction protocol revisited
000381 (2015-08-24) Mathieu Bertrand [France] ; Guillaume Doyen [France] ; Wissam Mallouli [France] ; Thomas Silverston [France] ; Olivier Bettan [France] ; François-Xavier Aguessy [France] ; Thibault Cholez [France] ; Abdelkader Lahmadi [France] ; Patrick Truong [France] ; Edgardo Montes De Oca [France]Monitoring and Securing New Functions Deployed in a Virtualized Networking Environment
000392 (2015-08-20) Ahmed Bouchami [France] ; Olivier Perrin [France] ; Ehtesham Zahoor [France]Trust-Based Formal Delegation Framework for Enterprise Social Networks
000393 (2015-08-20) Ahmed Bouchami [France] ; Elio Goettelmann [France] ; Olivier Perrin [France] ; Claude Godart [France]Enhancing Access-Control with Risk-Metrics for Collaboration on Social Cloud-Platforms
000436 (2015-07-25) Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France]Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery
000444 (2015-07-16) Hamza Jeljeli [France]Hardware and Software Accelerators for Sparse Linear Algebra over Finite Fields

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "security" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "security" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    security
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022