On the Self in Selfie

Seminar | 336 | 10:30

Christoph Kirsch, University of Salzburg – Abstract: Selfie is a self-contained 64-bit, 10-KLOC implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing … Continued

The Future of Cyber-autonomy

Seminar | Anfiteatro FA1 (Pav. Informática) | 13:30

David Brumley , Carnegie Mellon University – Abstract: My vision is to automatically check and defend the world’s software from exploitable bugs. In order to achieve this vision, I am building technology, called Mayhem, that shifts the attack/defend game away … Continued

Efficient paths in ordinal weighted graphs

Seminar | 336 | 10:00

Luca Schafer, Technische Universität Kaiserslautern – Abstract: We investigate the single-source-single-destination “shortest” paths problem in acyclic graphs with ordinal weighted arc costs. We define the concepts of ordinal dominance and efficiency for paths and their associated ordinal levels, respectively. Further, … Continued

Crypto-hardware design for secure applications

Seminar | 336 | 11:00

Erica Tena-Sánchez F. E. Potestad-Ordóñez , University of Seville – Abstract: Any electronic devices considered ‘secure’, and in fact any electronic device handling relevant information, make use of cryptographic services to ensure confidentiality, authentication and integrity of the processed data. … Continued

Interactive Systems based on Electrical Muscle Stimulation

Seminar | Tagus Park (room TBD), and Alameda (room 0.19 by VC) | 13:30

Pedro Lopes, University of Chicago – Abstract: How can interactive devices connect with users in the most immediate and intimate way? This question has driven interactive computing for decades. If we think back to the early days of computing, user … Continued

1 2 3 4 5 6 7 71