by Koenig, Jérémie
Published in Electronic proceedings in theoretical computer science (03.11.2022)

by Kim, Jieung, Koenig, Jérémie, Chen, Hao, Gu, Ronghui, Shao, Zhong
Published in Journal of systems architecture (01.02.2024)

by Wang, Yuting, Zhang, Ling, Shao, Zhong, Koenig, Jérémie
Published in Proceedings of ACM on programming languages (01.01.2022)

by Zhang, Ling, Wang, Yuting, Wu, Jinhua, Koenig, Jérémie, Shao, Zhong
Published in Proceedings of ACM on programming languages (05.01.2024)

by Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Published in Proceedings of ACM on programming languages (16.01.2022)

by Feigenbaum, Joan, Koenig, Jérémie
Published in Security Protocols XXII (29.10.2014)

by Feigenbaum, Joan, Koenig, Jérémie
Published in Security Protocols XXII (2014)

by Koenig, Jérémie
Year of Publication 01.01.2020

by Koenig, Jérémie
Published in arXiv.org (03.11.2022)

by Zhang, Ling, Wang, Yuting, Wu, Jinhua, Koenig, Jérémie, Shao, Zhong
Published in arXiv.org (18.11.2023)

by Gu, Ronghui, Shao, Zhong, Chen, Hao, Kim, Jieung, Koenig, Jérémie, Wu, Xiongnan (Newman), Sjöberg, Vilhelm, Costanzo, David
Published in Communications of the ACM (01.10.2019)

by Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie
Year of Publication 14.11.2023

by Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie
Year of Publication 17.11.2022

by Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie
Year of Publication 09.08.2022

by Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie
Year of Publication 10.12.2020

by GU, Ronghui, KIM, Jieung, SJOBERG, Vilhelm, KOENIG, Jeremie, SHAO, Zhong
Year of Publication 04.06.2020