Editable Computer Graphics

From the Linux Kernel to Cryptography APIs: Supporting and Leveraging Software Product Lines

Reliability Management Techniques for Energy-Aware Multiprocessor Systems

Automatic Security Analysis of Smartphone Applications: Challenges and Opportunities

Securing the Internet by Proving the Impossible

Real-Time Wireless Sensor-Actuator Networks for Cyber-Physical Systems