| 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 | 127 | 2013 |
| 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, 459-468, 2017 | 13 | 2017 |
| Measuring global similarity between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshřj, A Legay Statistical Language and Speech Processing: Second International Conference …, 2014 | 10 | 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), 72-86, 2017 | 7 | 2017 |
| Requirements for trust and privacy in WebRTC peer-to-peer authentication R Copeland, K Corre, I Friese, S El Jaouhari IETF draft September, 2016 | 7 | 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, ... ICIN 2016: conference on Innovations in Clouds, Internet and Networks, 59-66, 2016 | 7 | 2016 |
| Measuring structural distances between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshřj, A Legay arXiv preprint arXiv:1403.4024, 2014 | 3 | 2014 |
| A WebRTC Extension to Allow Identity Negotiation at Runtime K Corre, S Bécot, O Barais, G Sunyé Web Engineering: 17th International Conference, ICWE 2017, Rome, Italy, June …, 2017 | 1 | 2017 |
| User controlled trust and security level of Web real-time communications K Corre Rennes 1, 2018 | | 2018 |
| 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 |
