Public Tech Talk: “Some Recent Results in Secure Computation”

Friday, October 16, 2020

Abstract: Secure multi-party computation (MPC) allows multiple parties, each holding private data that they are unwilling to share, to collaborate to perform computations over their data, while revealing nothing other than the result.  The theory behind secure computation is already 35 years old, but in the last 15 years researchers in the field have demonstrated […]

Read More

Public Tech Talk: “A Semi-Topological View of Real-World Consensus”

Wednesday, October 07, 2020

The slides can be downloaded here. Abstract: In the real world, people join humanity, grow up trusting very different quorums from one another, and they may change their quorums with time.  In technical terms we could call this an open permissionless system with mutable local quorums.   One might expect such a system to be a […]

Read More

Public Tech Talk: “Security-Aware Cyber-Physical Systems with Varying Levels of Autonomy”

Wednesday, September 02, 2020

Abstract: Increasing set of functionalities, network interoperability, and system design complexity have introduced easily exploitable security vulnerabilities in cyber-physical systems (CPS). Furthermore, the tight interaction between information technology and physical world, as well as the rising levels of autonomy, make these systems vulnerable to attacks beyond the standard cyber-attacks; relying exclusively on conventional security techniques […]

Read More

Public Tech Talk: “What is an EUTxO blockchain?”

Thursday, August 06, 2020

The slides can be downloaded here. Abstract: The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin, which has since been extended to the Extended UTxO model. It exists in code, but what does it mean?  I will give a novel mathematical model based on some strikingly simple type equations which — for […]

Read More

Public Tech Talk: “On-Chip AI, Hardware Security, and Trust Using Advanced Process Nodes”

Thursday, July 23, 2020

Abstract: The rise of machine learning (ML) and artificial intelligence (AI) have instigated significant interests in developing domain specific integrated circuits and architectures that can support the computational demands of AI. These chips are commonly known as AI chips. AI chips, both for training and inferencing, have emerged out to be new areas of research and […]

Read More

Public Tech Talk – Bringing the power together: Computer, Data, Subject knowledge — CANCELED

Friday, April 10, 2020

This tech talk has been canceled and will be rescheduled. We apologize for the inconvenience! Abstract: Computational science uses a computer’s super power and mathematical algorithms to solve large-scale scientific problems. Data science explores information from large quantity heterogeneous datasets to gain insights and build forecast models with statistical methods. Wouldn’t it be great to […]

Read More

Public Tech Talk: “Adventures in Type-directed Programming” — CANCELED

Friday, March 13, 2020

This tech talk has been canceled and will be rescheduled. We apologize for the inconvenience! This talk will be live-streamed at: https://www.youtube.com/c/GaloisInc/live Abstract: “My programs just write themselves!”  This phrase is frequently exclaimed by users of functional programming languages with advanced type systems who observe that rich types often guide them directly towards correct programs.  […]

Read More

Public Tech Talk: A Verified LL(1) Parser Generator

Wednesday, September 11, 2019

Abstract: Many software systems employ parsing techniques to map sequential input to structured output. Often, a parser is the system component that consumes data from an untrusted source. Because parsers mediate between the outside world and application internals, they are good targets for formal verification; parsers that come with strong correctness guarantees are likely to […]

Read More

Public Tech Talk – Formal Hardware Verification: Asynchronous, Analog, Mixed-Signal, and Mixed-Timing Circuits

Wednesday, August 07, 2019

Abstract:Formal verification has become a well-established part of standard hardware design flows leveraging SAT solvers and model checkers for verification tasks including logical equivalence checking, property checking, and protocol verification. These tools are largely based on all-digital, synchronous, single clock-domain models of hardware behaviour. To address the needs of system-on-chip and multi-core designs, we are […]

Read More

Public Tech Talk – Cellularization: A Game Theoretic Perspective

Monday, August 26, 2019

Abstract:My talk will present a distributed secure architecture for “cellularization,” a process in which utilities of the players are aligned by credible/non-credible threats. The proposed solution relies on a novel decentralized permissionless cyber-physical architecture that enables players to participate in Information-Asymmetric (Signaling) games, where deception is tamed by costly signaling, formal verification and zero-knowledge cryptography. […]

Read More