Travelled to:1 × Australia
1 × Denmark
1 × Italy
1 × Norway
1 × USA
Collaborated with:D.Jackson A.Milicevic D.J.0001 J.P.Near S.Lafortune S.Tripakis H.Bagheri S.Malek J.Hao J.S.0001 X.Chen S.Shiraishi V.M.Preciado Z.Jiang
Talks about:lightweight (2) analysi (2) design (2) depend (2) secur (2) constraint (1) represent (1) synthesi (1) protocol (1) platform (1)
Person: Eunsuk Kang
DBLP: Kang:Eunsuk
Contributed to:
2015
20152011
2010
2018
2016
2019Wrote 8 papers:
- FM-2015-BagheriKMJ #android #bound #design #detection #protocol #verification
- Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification (HB, EK, SM, DJ), pp. 73–89.
- ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving
- Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
- ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight
- A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
- RE-2010-KangJ #dependence
- Dependability Arguments with Trusted Bases (EK, DJ), pp. 262–271.
- MoDELS-2018-ChenKSPJ #behaviour
- Digital Behavioral Twins for Safe Connected Cars (XC, EK, SS, VMP, ZJ), pp. 144–153.
- FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
- Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
- FSE-2016-KangMJ #analysis #multi #security
- Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.
- CAV-2019-KangLT #automation #framework #platform #synthesis
- Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.