80 citations · 104 across the 21 of their papers we have counts for
21 papers
Herding End-to-End Autonomous Driving via Neuro-Symbolic Safety Guards
Simón Patiño Idarraga, Erick Silva, Rehana Yasmin +1
Modern end-to-end driving agents can achieve high average performance yet still violate basic traffic rules that a human driver would never miss. The reason is structural: they lea…
FedRings: A Scalable and Topology-Aware Federated Learning Framework for LEO Satellite Constellations
Ziwu Liu, Inês Pinto Gouveia, Rehana Yasmin +2
Federated learning over low Earth orbit (LEO) satellite networks is limited by frequent link changes, short contact times, and a highly dynamic topology, making centralized or sync…
Scalable Malware Family Classification Using Quantum Kernel Based Machine Learning
Ratun Rahman, Hassan Jalil Hadi, Christopher Gabriel Pedraza Pohlenz +1
The classification of malware families is a key challenge in cybersecurity, which enables threat attribution, analysis of attack operations, and the formulation of effective defens…
GenTI: Benchmarking LLMs for Autonomous IDPS Rule Generation for Unseen Attacks
Hassan Jalil Hadi, Rehana Yasmin, Ali Shoker
Rule-based Intrusion Detection and Prevention Systems (IDPS) offer precise attack detection as well as mitigation, however their manually crafted, signature-driven rules limit adap…
Toward Space-Based Public Key Systems: Enabling Secure Space Communications through In-Orbit Trust Services
Rehana Yasmin, Paulo Esteves-Verissimo, Ali Shoker
The New Space era has led to a rapid increase in satellites operated by independent entities in near-Earth orbit. This shift enables richer space services but also requires secure,…
LCC-LLM: Leveraging Code-Centric Large Language Models for Malware Attribution
Christopher G. Pedraza Pohlenz, Hassan Jalil Hadi, Ali Hassan +1
LLMs are increasingly explored for malware analysis; however, current LLM-based malware attribution remains limited by unsupported indicators and insufficient code-level grounding…
CRASH: Cognitive Reasoning Agent for Safety Hazards in Autonomous Driving
Erick Silva, Rehana Yasmin, Ali Shoker
As AVs grow in complexity and diversity, identifying the root causes of operational failures has become increasingly complex. The heterogeneity of system architectures across manuf…
EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
Tadeu Freitas, Erick Silva, Rehana Yasmin +4
Vehicle cybersecurity has emerged as a critical concern, driven by the innovation in the automotive industry, e.g., automomous, electric, or connnected vehicles. Current efforts to…
EVOLVE: a Value-Added Services Platform for Electric Vehicle Charging Stations
Erick Silva, Tadeu Freitas, Rehana Yasmin +2
A notable challenge in Electric Vehicle (EV) charging is the time required to fully charge the battery, which can range from 15 minutes to 2-3 hours. This idle period, however, pre…
ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips
Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy +1
A long-standing challenge is the design of chips resilient to faults and glitches. Both fine-grained gate diversity and coarse-grained modular redundancy have been used in the past…
Resilient and Secure Programmable System-on-Chip Accelerator Offload
Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker +2
Computational offload to hardware accelerators is gaining traction due to increasing computational demands and efficiency challenges. Programmable hardware, like FPGAs, offers a pr…
Savvy: Trustworthy Autonomous Vehicles Architecture
Ali Shoker, Rehana Yasmin, Paulo Esteves-Verissimo
The increasing interest in Autonomous Vehicles (AV) is notable due to business, safety, and performance reasons. While there is salient success in recent AV architectures, hinging…
Intrusion Resilience Systems for Modern Vehicles
Ali Shoker, Vincent Rahli, Jeremie Decouchant +1
Current vehicular Intrusion Detection and Prevention Systems either incur high false-positive rates or do not capture zero-day vulnerabilities, leading to safety-critical risks. In…
ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles
Ali Shoker, Fernando Alves, Paulo Esteves-Verissimo
Over-the-Air (OTA) software updates are becoming essential for electric/electronic vehicle architectures in order to reduce recalls amid the increasing software bugs and vulnerabil…
Digital Sovereignty Strategies for Every Nation
Ali Shoker
Digital Sovereignty must be on the agenda of every modern nation. Digital technology is becoming part of our life details, from the vital essentials, like food and water management…
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip
Ali Shoker, Paulo Esteves Verissimo, Marcus Völp
The hardware computing landscape is changing. What used to be distributed systems can now be found on a chip with highly configurable, diverse, specialized and general purpose unit…
System on Chip Rejuvenation in the Wake of Persistent Attacks
Ahmad T Sheikh, Ali Shoker, Paulo Esteves-Verissimo
To cope with the ever increasing threats of dynamic and adaptive persistent attacks, Fault and Intrusion Tolerance (FIT) is being studied at the hardware level to increase critical…
Pure Operation-Based Replicated Data Types
Carlos Baquero, Paulo Sergio Almeida, Ali Shoker
Distributed systems designed to serve clients across the world often make use of geo-replication to attain low latency and high availability. Conflict-free Replicated Data Types (C…
Exploiting Universal Redundancy
Ali Shoker
Fault tolerance is essential for building reliable services; however, it comes at the price of redundancy, mainly the "replication factor" and "diversity". With the increasing reli…
Delta State Replicated Data Types
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through dissemin…
Efficient State-based CRDTs by Delta-Mutation
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through dissemin…