SPLITS: Languages de Programmation Sécures et Outils pour la Sécurité

Alternate name: SPLITS: Secure Programming Languages & Tools for Security

ROR: 024wx0b20

OpenAlex ID: I4405259379

2024 · José Bacelar Almeida, Santiago Arranz Olmos, et al. · Lecture notes in computer science · 27

2025 · Martin Avanzini, Gilles Barthe, et al. · Proceedings of the ACM on Programming Languages · 16

2023 · José Bacelar Almeida, Manuel Barbosa, et al. · IACR Transactions on Cryptographic Hardware and Embedded Systems · 15

2022 · Ilaria Castellani, Mariangiola Dezani-Ciancaglini, et al. · Journal of Logical and Algebraic Methods in Programming · 12

2023 · Santiago Arranz Olmos, Gilles Barthe, et al. · IACR Transactions on Cryptographic Hardware and Embedded Systems · 7

2023 · Ignacio Tiraboschi, Tamara Rezk, et al. · Lecture notes in computer science · 6

2023 · Daniel, Lesly-Ann, Bognar, Marton, et al. · HAL · 5

2024 · Melançon, Olivier, Feeley, Marc, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4

2025 · Cinzia Di Giusto, António Ravara · Lecture notes in computer science · 2

2026 · Jean-Christophe Léchenet · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 1

2026 · Calosci, Matteo, Cohen, Cyril, et al. · HAL

2025 · Torrini, Paolo, Gregoire, Benjamin · HAL

2024 · Grégoire, Benjamin · HAL

2024 · Tiraboschi, Ignacio · HAL

2023 · Canteaut, Anne, Serrano, Manuel, et al. · HAL

Works count: 15

Citation count: 145