Computer networks and distributed computing
Software-hardware cosynthesis
Analog-digital mixed VLSI design
Security, accountability and version control
Distributed objects and data integrity
Top-down certification chains
Bottom-up certifying immune chains
Resource (re)allocation
