Pascal Berthomé
Pascal Berthomé
Professor of Computer Science, INSA Centre Val de Loire
Verified email at
Cited by
Cited by
Optimal information dissemination in star and pancake networks
P Berthome, A Ferreira, S Perennes
IEEE Transactions on Parallel and Distributed Systems 7 (12), 1292-1300, 1996
Repackaging android applications for auditing access to private data
P Berthome, T Fecherolle, N Guilloteau, JF Lalande
2012 Seventh International Conference on Availability, Reliability and …, 2012
Software countermeasures for control flow integrity of smart card C codes
JF Lalande, K Heydemann, P Berthomé
European Symposium on Research in Computer Security, 200-218, 2014
A practical set-membership proof for privacy-preserving NFC mobile ticketing
G Arfaoui, JF Lalande, J Traoré, N Desmoulins, P Berthomé, S Gharout
arXiv preprint arXiv:1505.03048, 2015
Improved embeddings in POPS networks through stack-graph models
P Berthomé, A Ferreira
Proceedings of Massively Parallel Processing Using Optical Interconnections …, 1996
High level model of control flow attacks for smart card functional security
P Berthomé, K Heydemann, X Kauffmann-Tourkestansky, JF Lalande
2012 Seventh International Conference on Availability, Reliability and …, 2012
Performance comparisons of Eulerian routing and deflection routing in a 2d-mesh all optical network
D Barth, P Berthomé, A Borrero, JM Fourneau, C Laforest, F Quessette, ...
15th European Simulation Multiconference, 887-891, 2001
Sorting-based selection algorithms for hypercubic networks
P Berthome, A Ferreira, BM Maggs, S Perennes, CG Plaxton
[1993] Proceedings Seventh International Parallel Processing Symposium, 89-95, 1993
Attack model for verification of interval security properties for smart card C codes
P Berthomé, K Heydemann, X Kauffmann-Tourkestansky, JF Lalande
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010
Revisiting parametric multi-terminal problems: Maximum flows, minimum cuts and cut-tree computations
D Barth, P Berthomé, M Diallo, A Ferreira
Discrete Optimization 3 (3), 195-205, 2006
Optical Interconnections and Parallel Processing: Trends at the Interface
P Berthomé, A Ferreira
Springer Science & Business Media, 2012
Generalized parametric multi-terminal flows problem
P Berthomé, M Diallo, A Ferreira
International Workshop on Graph-Theoretic Concepts in Computer Science, 71-80, 2003
Self-simulation for the passive optical star model
P Berthomé, T Duboux, T Hagerup, I Newman, A Schuster
European Symposium on Algorithms, 369-380, 1995
Decomposing hierarchical cayley graphs, with applications to information dissemination and algorithm design
P Berthomé, A Ferreira, S Perennes
Ecole Normale Supérieure de Lyon. Laboratoire de l'Informatique du …, 1992
Embedding tori in partitioned optical passive star networks
P Berthomé, J Cohen, A Ferreira
Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique, 1997
Teaching android mobile security
JF Lalande, V Viet Triem Tong, P Graux, G Hiet, W Mazurczyk, H Chaoui, ...
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
An unified FPT algorithm for width of partition functions
P Berthomé, T Bouvier, F Mazoit, N Nisse, RP Soares
INRIA, 2013
The Eulerian stretch of a network topology and the ending guarantee of a convergence routing
D Barth, P Berthomé, J Cohen
Journal of Interconnection Networks 5 (02), 93-109, 2004
Formally verified software countermeasures for control-flow integrity of smart card C code
K Heydemann, JF Lalande, P Berthomé
Computers & Security 85, 202-224, 2019
Cloud resources placement based on functional and non-functional requirements
A Guesmi, P Clemente, F Loulergue, P Berthomé
2015 12th International Joint Conference on e-Business and …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20