Internetware 2025
Fri 20 - Sun 22 June 2025 Trondheim, Norway
co-located with FSE 2025
Sat 21 Jun 2025 16:00 - 16:15 at Cosmos 3C - Session9: AloT & Microservices Chair(s): Qingkai Shi

Web of Things (WoT) technology standardizes the integration of various IoT devices deployed in daily environments, promoting the capability of applications to automatically sense and regulate the physical environment. Meanwhile, the complex nature of such a ubiquitous software system, where heterogeneous applications, user activities, and environment states collectively influence device behaviors, poses risks of unexpected or even hazardous safety and security violations caused by improper device operations. Existing works on WoT violation identification primarily focus on the sole analysis of software applications, however, lacking consideration of the multi-source violations stemming from the human-cyber-physical ternary spaces, as well as the intricate interplay between environment and devices. Furthermore, the investigation into users’ preferences for violation resolution remains unexplored. To address these limitations, we introduce EnvGuard, an environment-centric approach for customizing safety and security properties, identifying violations, and executing resolutions in the WoT environment. Our evaluation in two real-world WoT systems shows that EnvGuard outperforms previous state-of-the-art works, and confirms its usability, effectiveness, and runtime efficiency.

Sat 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session9: AloT & MicroservicesResearch Track / Tool Demonstration Track at Cosmos 3C
Chair(s): Qingkai Shi Nanjing University
16:00
15m
Talk
EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System
Research Track
Bingkun Sun Fudan University, Jialin Ren Fudan University, Juntao Luo Fudan University, Liwei Shen Fudan University, Yongqiang Lu Fudan University, Qicai Chen Fudan University, China, Zhen Dong Fudan University, Xin Peng Fudan University
16:30
15m
Talk
Privacy-Preserving Authentication Scheme for V2G in social IoT Based on Certificateless Aggregate Signatures
Research Track
Zhuoqun Xia Changsha University of Science and Technology, Xin Wang Changsha University of Science and Technology
16:45
15m
Talk
To Split or to Merge? Exploring Multi-modal Data Flexibly for Failure Classification in Microservices
Research Track
Xiuhong Tan Changsha University of Science and Technology, China, Tongqing Zhou National University of Defense Technology, China, Yuan Yuan National University of Defense Technology, China, Shiming He Changsha University of Science and Technology, China, Yuqi Li National Supercomputer Center in Tianjin, Jian Zhang National Supercomputer Center in Tianjin
17:00
15m
Talk
Dynamic Microservice Resource Optimization Management Based on MAPE Loop
Research Track
Lu Wang Xidian University, Xu Fan Xidian University, Yaxiao Li , Quanwei Du Xidian University, Jialuo She Xidian University, Qingshan Li Xidian University
17:15
10m
Talk
Documenting Microservice Integration with MSAdoc
Tool Demonstration Track
Georg-Daniel Schwarz Friedrich-Alexander-Universität Erlangen-Nürnberg, Dirk Riehle U of Erlangen

Information for Participants
Sat 21 Jun 2025 16:00 - 17:30 at Cosmos 3C - Session9: AloT & Microservices Chair(s): Qingkai Shi
Info for room Cosmos 3C:

Cosmos 3C is the third room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.