Image de profil de eds3w
Membre depuis le 30 juillet 2019
0 Recommendations


En ligne Hors ligne
Hello, I'm new at [login to view URL], that's why there's not much to show here (yet). My LinkedIn profile is here: [login to view URL] HARD SKILLS: - Programming languages: Python, Java, C, C++ - Artificial Intelligence: GANs, Adversarial Attacks - Machine learning frameworks: TensorFlow, Jupyter - Security mechanisms: HSMs, Smartcards, Biometrics - Cyber Essentials Certification - Formal languages: CSP, First Order Logic theorem provers KNOWLEDGE - General cyber security threats and preventive and reactive measures - Specific cyber security threats faced by the automotive and aerospace industries SOFT SKILLS: - Analytical Thinking - Research - Writing - Leadership EDUCATION - PhD in Cyber Security (interrupted for now) - MSc in Computer Science - BSc in IT Management LANGUAGE - English: Fluent Unlike many individuals in this website, I have the legal right to work as a freelancer in the UK.
$20 USD/hr
1 commentaire
  • N/ATravaux complétés
  • N/ASelon le budget
  • N/ADans les temps
  • N/ATaux de Réembauche

Portfolio Items

Avis récents


A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-based framework designed to support the security testing of modern cars. We use Communicating Sequential Processes (CSP) to create architectural models of the vehicle bus systems, as well as an initial set of attacks against these systems.

Formal models for automotive systems and vehicular networks: Benefits and challenges

We give consideration to how formal models of threats might be beneficial in the development of modern automotive systems and vehicular networks, which are increasingly interconnected. To achieve this we present a formal threat model of an idealised system. We use Predicate/Transition (PrT) Nets, a graphical mathematical formalism, to represent threats and plausible attacks.


  • Connecté à Facebook
  • Freelance Préféré
  • Paiement vérifié
  • Téléphone Vérifié
  • Identité Vérifiée
  • E-mail vérifié

Voir des freelances similaires