Christian Colombo
Orcid: 0000-0002-2844-5728Affiliations:
- University of Malta
According to our database1,
Christian Colombo
authored at least 69 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors.
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
2023
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics.
J. Cybersecur. Priv., July, 2023
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications.
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023
2022
J. Object Technol., 2022
Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps.
IEEE Access, 2022
Proceedings of the ICT Systems Security and Privacy Protection, 2022
Springer, ISBN: 978-3-031-09268-8, 2022
2021
J. Comput. Virol. Hacking Tech., 2021
PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone.
IEEE Access, 2021
Proceedings of the Security and Trust Management - 17th International Workshop, 2021
Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android.
Proceedings of the 18th International Conference on Security and Cryptography, 2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the Formal Methods in Outer Space, 2021
2020
Proceedings of the Security and Trust Management - 16th International Workshop, 2020
Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the Model-Driven Engineering and Software Development, 2020
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification.
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020
2019
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019
2018
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Controlled Natural Language, 2018
2017
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
2016
Formal Methods Syst. Des., 2016
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Using gherkin to extract tests and monitors for safer medical device interaction design.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the Controlled Natural Language - 5th International Workshop, 2016
2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the Natural Language Processing and Information Systems, 2015
Using control flow analysis to improve the effectiveness of incremental mutation testing.
Proceedings of the 14th International Workshop on Principles of Software Evolution, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
2014
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing.
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014
2013
Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
2012
Formal Methods Syst. Des., 2012
Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
2011
Proceedings of the Runtime Verification - Second International Conference, 2011
2010
Proceedings of the Runtime Verification - First International Conference, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008