Paul Irofti

1. OpenBSD formal driver verification with SeL4
   2023/11/06 by Adriana Nicolae, Nicolae, Adriana, Paul Irofti +3 · 2 voices
   #cs.CR #cs.LO #cs.OS
2. Learning Dictionaries from Physical-Based Interpolation for Water Network Leak Localization
   2023/04/21 by Paul Irofti, Irofti, Paul, Luis Romero-Ben +5 · 3 citations
   Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Geophysical Methods and Applications #Geotechnical Engineering and Underground Structures #Machine Learning (cs.LG) #Numerical Analysis (math.NA) #Systems and Control (eess.SY) #Water Systems and Optimization #electronic engineering #information engineering
3. Deepfake Media Generation and Detection in the Generative AI Era: A Survey and Outlook
   2024/11/29 by Florinel-Alin Croitoru, Andrei-Iulian Hiji, Croitoru, Florinel-Alin +17 · 1 citation
   Computer Science · #Generative Adversarial Networks and Image Synthesis #Digital Media Forensic Detection