GreHack is an international security conference which takes place in Grenoble (France). It aims to bring together academics, industry, governments, students and hackers to discuss new advances in computer and information security research. This year will be the forth edition. As always, conferences will take place during the day, and you will be able to test your hacking skills with the Capture The Flag contest that will hold during the night.
GreHack 2016
Ethical hacking conference and Capture the flag in Grenoble
Voir en ligne : GreHack 2016
Navigation
Rubriques
-
Verimag
- Membres
- Publications
- Outils
- Emplois et stages
- Projets
- Partenaires
-
Colloques et Conférences
- 20 ans de Verimag, 26-28 (...)
- École d’été PERSYVAL-Lab sur (...)
- ACES’2008 September 29th, (...)
- ADSL 2018
- ADSL 2020 (@POPL 2020)
- AlgoTel 2017
- AlgoTel et CoRes 2020
- ARCH14
- ARTIST Summer School in (...)
- ARTIST2 Summer School 2008 in
- AVM 2014
- AVoCS 2019
- BEeSy 2015
- CAPITAL Workshop - sCalable
- CAS 2012, January 13, Grenoble
- CAV 2009 June 26 - July (...)
- EMSOFT 2009 October 12 - (...)
- ETAPS 2014
- Euro-Par 2016
- FAC 2014
- FIMCP 2013, May 2nd, Marrakech
- FORMATS 2014
- FORMATS 2015
- GreHack 2016
- GT Verif 2018
- HSB 2014
- HSCC 2012, Apr 17-19, Beijing
- ICDCN 2012, January 3-6, (...)
- IWHSB 2013
- MEMOCODE 2010, July 26-28,
- MEMOCODE 2011, July 11-13,
- MeTRiD 2018
- MOVEP 2020
- RESSI 2017
- RTNS 2017
- RV 2018
- SSS 2020
- SSS’2011, October 10-12, (...)
- SSS’2016
- Synchron 2019
- SynCoP 2014
- Toward Systems Biology (...)
- VECoS 2018
- VVS
- WCET 2013, July 9, 2013, (...)
- WFAC’2008 - October 19th, (...)
- Workshop CAPITAL
- Workshop on Timing Anomalies
- RESSI 2017 : les Rendez-vous
- Séminaires
- Documents
- Axes
- Contact
- Plan du site
Actualités
Séminaires
- Séminaires
- 29 novembre 2021 Nicolas Basset: Uniform sampling for networks of automata
- 2 décembre 2021 Leo Exibard: Reactive synthesis over infinite data domains with machines with registers
- 7 décembre 2021 Alessio Mansutti: Efficient complementation of semilinear sets and the vc dimension of presburger (...)
- 9 décembre 2021 Le séminaire de Charlie Jacomme: est annulé ou reporté
- 13 décembre 2021 Joseph Sifakis: Specification and validation of autonomous driving systems: a multilevel semantic (...)
- 13 janvier 2022 Benjamin Blanc: Formal methods in practice: model checking in the railway industry
Dernières brèves
- Nouvelles brèves
- 5 décembre 2021 La science taille XX’Elles
Nouvelles publications
- Quelques Publications
Récentes
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Dubois, Lawrence L. Larmore: Election in Unidirectional Rings with Homonyms
- Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Felix Ingrand: Runtime Verification of Timed Properties in Autonomous Robots
- Léo Gourdin, Sylvain Boulmé: Certifying assembly optimizations in Coq by symbolic execution with hash-consing
- Salim CHEHIDA, Abdelhakim Baouya, Diego Fernández Alonso, Paul -, Guillemette Massot, Marius Bozga, Saddek Bensalem: Asset-Driven Approach for Security Risk Assessment in IoT Systems
Offres d'emploi et stages
- Offres d'emploi et stages
- PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
- (un)decidability of polyhedral invariant inference
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- verified decomposition of arithmetic operators
- Verified global value numbering
- [L3/M1/M2 Internship] Topics in Formally Verified Compilation
- [M2 Internship] Leakage in presence of an active and adaptive adversary
- [M2 Internship] Security counter-measures in a certified optimizing compiler
- [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
- [M2R Internship] Patch analysis of IIoT components
- [master or PhD] Convex polyhedra in floating point
- [master] automatic insertion of countermeasures in a verified compiler
- [Master] Decision Procedures for Separation Logic Modulo Theories of Data
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [master] formally verified hash-consing
- [Master] Local Reasoning about Reconfigurable Component-based Systems
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
- [Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
