Skip to Main content Skip to Navigation

Search by documents

hal-01316541v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno Sericola. Relying on Consensus does not Make Bitcoin Safer
Fast Abstract in the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
hal-01311970v1  Reports
Nicoló RivettiEmmanuelle AnceaumeYann BusnelLeonardo QuerzoniBruno Sericola. Load-Aware Shedding in Stream Processing Systems
[Research Report] LINA-University of Nantes; Sapienza Università di Roma (Italie); Irisa; Inria Rennes. 2016
hal-01634566v1  Conference papers
Ronny ChevalierMaugan VillatelDavid PlaquinGuillaume Hiet. Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode
ACSAC 2017 - 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩
hal-01398192v1  Conference papers
Deepak SubramanianGuillaume HietChristophe Bidan. A self-correcting information flow control model for the web-browser
FPS 2016 - The 9th International Symposium on Foundations & Practice of Security, Oct 2016, Québec City, Canada. pp.285-301, ⟨10.1007/978-3-319-51966-1_19⟩
hal-01356690v1  Reports
Thomas LetanPierre ChifflierGuillaume HietPierre NéronBenjamin Morin. SpecCert: Specifying and Verifying Hardware-based Security Enforcement
[Technical Report] CentraleSupélec; Agence Nationale de Sécurité des Systèmes d’Information. 2016, pp.20
tel-01636207v1  Theses
Kun He. Content Privacy and Access Control on Image-Sharing Platforms
Cryptography and Security [cs.CR]. CentraleSupélec, 2017. English
tel-01413001v2  Theses
Pierre Obame Meye. Dependability in cloud storage
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S091⟩
hal-01305334v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno Sericola. L'empire romain ne doit pas être géré comme une petite île grecque
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
hal-01519432v1  Conference papers
Nicolò RivettiEmmanuelle AnceaumeYann BusnelLeonardo QuerzoniBruno Sericola. Ordonnancement dynamique pour un équilibrage de charge quasi-optimal dans les systèmes de traitement de flux
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
hal-01247495v1  Journal articles
Luca CaviglioneMauro GaggeroJean-François LalandeWojciech MazurczykMarcin Urbanski. Seeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2016, 11 (4), pp.799-810. ⟨10.1109/TIFS.2015.2510825⟩
tel-01657148v2  Theses
Laurent Georget. Suivi de flux d'information correct pour les systèmes d'exploitation Linux
Système d'exploitation [cs.OS]. Université Rennes 1, 2017. Français. ⟨NNT : 2017REN1S040⟩
hal-01397685v1  Conference papers
Emmanuelle AnceaumeThibaut Lajoie-MazencRomaric LudinardBruno Sericola. Safety Analysis of Bitcoin Improvement Proposals
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), IEEE, Oct 2016, Cambridge, United States
hal-01634368v1  Conference papers
Thibaut Lajoie-MazencRomaric LudinardEmmanuelle Anceaume. Handling Bitcoin Conflicts Through a Glimpse of Structure
Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakesh, Morocco. ⟨10.1145/3019612.3019657⟩
hal-01522360v2  Conference papers
Emmanuelle AnceaumeRomaric LudinardMaria Potop-ButucaruFrédéric Tronel. Bitcoin a Distributed Shared Register
SSS 2017 - 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2017, Boston, MA, United States. pp.456-468, ⟨10.1007/978-3-319-69084-1_34⟩
hal-01875521v1  Conference papers
Sebanjila BukasaRonan LashermesHélène Le BouderJean-Louis LanetAxel Legay. How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip
11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.93-109, ⟨10.1007/978-3-319-93524-9_6⟩
hal-01355122v1  Journal articles
Valérie Viet Triem TongJean-François LalandeMourad Leslous. Challenges in Android Malware Analysis
ERCIM News, ERCIM, 2016, Special Theme: Cybersecurity, pp.42-43
hal-01311917v1  Conference papers
Nicolas KissJean-François LalandeMourad LeslousValérie Viet Triem Tong. Kharon dataset: Android malware under a microscope
The Learning from Authoritative Security Experiment Results (LASER) workshop, May 2016, San Jose, United States. pp.1-12
hal-01533275v1  Conference papers
Guillaume BrogiValérie Viet Triem Tong. Sharing and replaying attack scenarios with Moirai
RESSI 2017: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Autrans, France
hal-01619234v1  Conference papers
Laetitia LeichtnamEric TotelNicolas PrigentLudovic Mé. STARLORD: Linked Security Data Exploration in a 3D Graph
VizSec - IEEE Symposium on Visualization for Cyber Security, Oct 2017, Phoenix, United States. pp.1 - 4, ⟨10.1109/VIZSEC.2017.8062203⟩
hal-01612988v1  Conference papers
Pernelle MensahSamuel DubusWael KanounChristine MorinGuillaume Piolle et al.  Connectivity Graph Reconstruction for Networking Cloud Infrastructures
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), Oct 2017, Cambridge, United States. ⟨10.1109/nca.2017.8171337⟩
tel-01655322v1  Theses
Solenn Brunet. Conception de mécanismes d’accréditations anonymes et d’anonymisation de données
Cryptographie et sécurité [cs.CR]. Université de Rennes 1 [UR1], 2017. Français
hal-01339477v1  Conference papers
Chuanyou LiMichel HurfinYun WangLei Yu. Towards a Restrained Use of Non-equivocation for Achieving Iterative Approximate Byzantine Consensus
30th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2016, Chicago, United States. pp.10, ⟨10.1109/IPDPS.2016.62⟩