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
- 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
- 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’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
- RESSI 2017 : les Rendez-vous
- Séminaires
- Documents
- Équipes
- Contact
- Plan du site
Actualités
-
ACTUALITÉS
- Systèmes cyber-physiques autonomes et confiance numérique : conception, modélisation, validation, implémentations, certification Poste de maître de conférences en informatique, Grenoble INP/Ensimag, pour recrutement au 1er septembre 2020
- Conférences
- Feb. 24, 2020 Workshop CAPITAL
- 11-15 mai 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
- Séminaires
- 27 janvier 2020 Margus Veanes: Symbolic regexes & matching
- 27 janvier 2020 Xiao Xu: Thesis defence - xiao xu - generalisation of alternating automata over infinite (...) (Phd)
- 3 février 2020 Matthieu jan And asavoae mihail: Towards automatic extraction of timing models from hdl designs (mihail asavoae) - (...)
- 6 février 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)
- 12 février 2020 Sébastien Bardin: From safety to security: the case of binary-level code analysis
- 13 février 2020 Jonathan Salwan: L'exécution symbolique pour l'aide à la rétro-ingénierie dans un cadre (...) (Phd)
Séminaires
Nouvelles publications
- Publications
Récentes
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
Offres d'emploi et stages
- Offres d'emploi et stages
- Poste de maître de conférences en informatique, Grenoble INP/Ensimag, pour recrutement au 1er septembre 2020
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- Self-Stabilization in TVG
