+351 213100300 info@inesc-id.pt

Category: Seminar

Artificial sociality- modelling the social mind

Gert Jan Hofstede, Wageningen Universiteit – Abstract: Gert Jan will discuss ‘artificial sociality’, the subject for which he was recently appointed professor. It is about foundational conceptual models of human sociality based on social science, for use in agent-based models of complex systems in the…

On the Self in Selfie

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 RISC-U emulator, (3) a self-hosting…

The Future of Cyber-autonomy

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 from the current manual approaches…

Efficient paths in ordinal weighted graphs

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, we show that the number…

Crypto-hardware design for secure applications

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. These cryptographic engines implement mathematically…

© 2019, INESC-ID. All rights reserved  |  Termos de Utilização |  Proteção de Dados Pessoais