activity
20202023
most citedTowards Bridging the Gap between Control and Self-Adaptive System Properties

9 citations · 10 across the 4 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2021

OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

Pengcheng Jiang, Kenji Tei

Users interacting with a system through UI are typically obliged to perform their actions in a pre-determined order, to successfully achieve certain functional goals. However, such…