| PLASMA-lab: A flexible, distributable statistical model checking library B Boyer, K Corre, A Legay, S Sedwards International Conference on Quantitative Evaluation of Systems, 160-164, 2013 | 96 | 2013 |
| Requirements for trust and privacy in WebRTC peer-to-peer authentication R Copeland, K Corre, I Friese, S El Jaouhari Internet-Draft, Tech. Rep., 2016 | 5 | 2016 |
| Global identity and reachability framework for interoperable p2p communication services IT Javed, R Copeland, N Crespi, F Beierle, S Göndör, A Küpper, ... | 5 | 2016 |
| Measuring global similarity between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshřj, A Legay International Conference on Statistical Language and Speech Processing, 220-232, 2014 | 5 | 2014 |
| Cross-domain identity and discovery framework for web calling services IT Javed, R Copeland, N Crespi, M Emmelmann, A Corici, A Bouabdallah, ... Annals of Telecommunications 72 (7-8), 459-468, 2017 | 4 | 2017 |
| Measuring structural distances between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshřj, A Legay arXiv preprint arXiv:1403.4024, 2014 | 4 | 2014 |
| Why can’t users choose their identity providers on the web? K Corre, O Barais, G Sunyé, V Frey, JM Crom Proceedings on Privacy Enhancing Technologies 2017 (3), 75-89, 2017 | 3 | 2017 |
| User controlled trust and security level of Web real-time communications K Corre Rennes 1, 2018 | | 2018 |
| A WebRTC Extension to Allow Identity Negotiation at Runtime K Corre, S Bécot, O Barais, G Sunyé International Conference on Web Engineering, 412-419, 2017 | | 2017 |
| Method of managing the authentication of a client in a computing system K Corre, V Frey | | 2017 |
| Statistical Model Checking with Changes and Simulink B Boyer, K Corre, A Legay, LM Traonouez | | 2014 |
