Events

iTrust is proud to cooperate with CCDCOE for Locked Shields 2021: https://ccdcoe.org/news/2021/worlds-largest-international-live-fire-cyber-exercise-to-be-launched-next-week-2/

iTrust invites you to a webinar: A Cyber Risk Management Study in Shipboard OT Systems on 1 Apr 2021, 10am.

The maritime industry has showed an increasing trend in adopting ICT for enhanced monitoring, communication and connection capabilities, which can help improve productivity and reduce operational costs. With cyber threats on the rise, increased connectivity between and among ship-to-ship and ship-to-shore infrastructure […]

You are cordially invited to attend our online workshop event (March 11-12, 2021) via Zoom, jointly organised by iTrust and ADSC/UIUC.

Details & registration of the workshop information can be found here: https://www.illinois.adsc.com.sg/SecOT/

This event is public and registration is now open. Attendees for the online workshop will receive an invitation email containing webinar login information.

You are cordially invited to attend our online workshop event (March 11-12, 2021) via Zoom, jointly organised by iTrust and ADSC/UIUC.

Details & registration of the workshop information can be found here: https://www.illinois.adsc.com.sg/SecOT/

This event is public and registration is now open. Attendees for the online workshop will receive an invitation email containing webinar login information.

iTrust invites you to a webinar: A Cyber Risk Management Study in Shipboard OT Systems on 18 Dec 2020, 10am.

The maritime industry has showed an increasing trend in adopting ICT for enhanced monitoring, communication and connection capabilities, which can help improve productivity and reduce operational costs. With cyber threats on the rise, increased connectivity between and among ship-to-ship and ship-to-shore infrastructure […]

Abstract: After cryptocurrencies, smart contracts are the second major innovation of the blockchain era. Leveraging the immutability and accountability of blockchains, these event-driven programs form the basis of a new form of digital economy with tokens, wallets, exchanges, and markets, but facilitate also new models of peer-to-peer organizations. To judge the long-term prospects of particular projects and the technology in general, […]

Abstract: As the number of commercial IoT devices grows, so do cyberattacks that target and exploit vulnerabilities on them. Given that some of the attack vectors used in the wild against IoT devices might be novel or not well understood, it is important to have up-to-date threat intelligence regarding them, in order to be able to coordinate quick remediation steps on devices […]

Abstract: During the past two years, we have been hacking (and securing) industrial robots. They are complex cyber-physical systems, they are used in critical installations, and they entail almost every possible risk, from safety to economical damage.

In this talk we will review the main results from our research: a complete attacker and threat model for industrial robots; robot-specific cyberattacks that violate the […]

Abstract: Theoretical results in cryptography and distributed computing are always proved relative to some formal model that is intended to accurately capture the real world. We focus here on the effect of different network models on the feasibility of various tasks related to consensus. First, we highlight assumptions about the power of adaptive adversaries in distributed protocols, noting that while […]

Abstract: This talk gives an overview of two recently developed general classes of practical techniques for validating compilers – equivalence modulo input (EMI) testing, and skeletal program enumeration (SPE) – and a continuous, extensive effort in applying/adapting them to find and report thousands of bugs across a range of production and research compilers for C/C++ (GCC, Clang/LLVM, ICC, CompCert), Scala, Rust, […]