Security Evaluation of a Linux System: Common Criteria EAL4+ Certification Experience. - Luca Recchia; Giuseppe Procopio; Andrea Onofrii; Francesco Rogo (ISSRE Workshops, 2014)

Safety and Security in GNU/Linux Real Time Operating System Domain. - Giuseppe Procopio (SEDA, 2018)

The Fourfold Way to Gaussianity: Physical Interactions, Distributional Models and Monadic Transformations. - Massimiliano Giona; Chiara Pezzotti; Giuseppe Procopio (Axioms, 2023)