Siraj Ahmed Shaikh

Available identifiers

zbMath Open shaikh.siraj-ahmedMaRDI QIDQ2077759

List of research outcomes

Publication	Date of Publication	Type
A formal framework for security testing of automotive over-the-air update systems	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	2022-02-21	Paper
A Multi-objective Optimisation Approach to IDS Sensor Placement	2010-03-05	Paper
Information Security and Cryptology	2006-11-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Siraj Ahmed Shaikh