Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yoonkyung Kim
Visualization of Permission Checks in Java Using Static Analysis
Related publications
A Visualization System for Permission Check in Java Using Static Analysis
The KIPS Transactions:PartA
Static Analysis of Malicious Java Applets
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Optimizing Array Bound Checks Using Flow Analysis
ACM Letters on Programming Languages and Systems
Impact Analysis and Visualization Toolkit for Static Crosscutting in AspectJ
Supporting Java Programming in the Svace Static Analyzer
Proceedings of the Institute for System Programming of the RAS
Temporal Treemaps: Static Visualization of Evolving Trees
IEEE Transactions on Visualization and Computer Graphics
Computer Graphics
Pattern Recognition
Computer Vision
Computer-Aided Design
Signal Processing
Software
Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams
Axiomatizations of Permission Values for Games With a Hierarchical Permission Structure Using Split Neutrality
SSRN Electronic Journal
