List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A formal framework for security testing of automotive over-the-air update systems Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
| Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker Texts in Theoretical Computer Science. An EATCS Series | 2022-02-21 | Paper |
| A multi-objective optimisation approach to IDS sensor placement Advances in Intelligent and Soft Computing | 2010-03-05 | Paper |
| Information Security and Cryptology Lecture Notes in Computer Science | 2006-11-14 | Paper |
Research outcomes over time
This page was built for person: Siraj Ahmed Shaikh
