User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

All Publications

Displaying 13 results.
    • WorkingPaper
    Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report
    Baranov, Eduard Biondi, Fabrizio Decourbe, Olivier Given-Wilson, Thomas Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean Sebastio, Stefano (2018)
    • Speech
    Improving Secure and Robust Patient Service Delivery
    Baranov, Eduard[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ISoLA 2021 — Rhodes, Greece
    • Speech
    Baital: An Adaptive Weighted Sampling Platform for Configurable Systems
    Baranov, Eduard[UCL] Legay, Axel[UCL] (2022) 26th ACM International Systems and Software Product Line Conference — Graz, Austria
    • Journal article
    Optimizing symbolic execution for malware behavior classification
    Sebastio, Stefano Baranov, Eduard[UCL] Biondi, Fabrizio Decourbe, Olivier Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean (2020) Computers & Security — Vol. 93, no.?, p. 101775 (2020)
    • Speech
    Statistical Model Checking meets GDPR
    Baranov, Eduard[UCL] Larsen, Kim Legay, Axel[UCL] (2023) AISoLA — Crete, Greece
    • Speech
    Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking
    Paigwar, Anshul Baranov, Eduard[UCL] Renzaglia, Alessandro Laugier, Christian Legay, Axel[UCL] (2020) IEEE Intelligent Vehicles Symposium (IV) 2020 — (Virtual) Las Vegas, NV, United States
    • Speech
    A Secure User-Centred Healthcare System: Design and Verification
    Baranov, Eduard[UCL] Bowles, Juliana Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Webber, Thais (2021) 10th International Symposium "From Data to Models and Back" — Virtual
    • Speech
    A Scalable t-wise Coverage Estimator
    Baranov, Eduard[UCL] Chakraborty, Sourav Legay, Axel[UCL] Meel, Kuldeep S. Variyam, Vinodchandran N. (2022) 44th International Conference on Software Engineering — Pittsburgh USA / Virtual
    • Speech
    Building User Trust of Critical Digital Technologies
    Given-Wilson, Thomas[UCL] Baranov, Eduard[UCL] Legay, Axel[UCL] (2020) 2020 IEEE International Conference on Industrial Technology (ICIT) — Buenos Aires, Argentina
    • Journal article
    Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP
    Baranov, Eduard[UCL] Bliudze, Simon (2019) Acta Informatica — Vol. 57, no.6, p. 829-829 (2019)
    • Journal article
    Expressiveness of component-based frameworks: A study of the expressiveness of BIP
    Baranov, Eduard[UCL] Bliudze, Simon (2019) Acta Informatica — (2019)
    • Speech
    Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
    Baranov, Eduard[UCL] Legay, Axel[UCL] Meel, Kuldeep S. (2020) 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering — Virtual Event, USA
    • Speech
    Serums Healthcare System: Completed and Secured
    Baranov, Eduard[UCL] Legay, Axel[UCL] (2022) 4th International Workshop on Adaptive and Personalized Privacy and Security — Barcelona,Spain/Virtual