Michael Shin

21 papers B 2C 5Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
Bridging Static and Dynamic Analysis using IBCs (S).
SEKE
Imran Pinjari, Vaishnavi Kattula, Michael Shin
2024 — conf
A Digital Profiling Triage Model for Industrial Espionage.
ICDF2C (1)
Jieun Dokko, Michael Shin
2024 C conf
Integrity for Interfaces and Lambda Expressions with Static Analysis (S).
SEKE
Imran Pinjari, Michael Shin, Pushkar Ogale
2023 — conf
Modeling of Blockchain and Application Concerns in Blockchain Applications.
WETSEB
Michael Shin
2023 C conf
Verifying Data Integrity for Multi-Threaded Programs.
ICSOFT
Imran Pinjari, Michael Shin, Pushkar Ogale
2021 B conf
Data Integrity Security Spots Detected by Object Reference.
COMPSAC
Rajasree Punneth Radhakrishnan, Michael Shin, Pushkar Ogale
2020 J jnl
3D human pose estimation with adaptive receptive fields and dilated temporal convolutions.
CoRR
Michael Shin, Eduardo Castillo, Irene Font Peradejordi, Shobhna Jayaraman
2020 — conf
An Intelligence Criminal Tracker for Industrial Espionage - Applying Digital Data Acquired Onsite to Target Criminals.
ICDF2C
Jieun Dokko, Michael Shin, Soo Young Park
2018 — conf
A Digital Forensic Investigation and Verification Model for Industrial Espionage.
ICDF2C
Jieun Dokko, Michael Shin
2018 — conf
Identifying Security Spots for Data Integrity.
COMPSAC (2)
Pushkar Ogale, Michael Shin, Sasanka Abeysinghe
2018 J jnl
Pulling apart: new perspectives on the spatial dimensions of neighbourhood income disparities in Canadian cities.
J. Geogr. Syst.
Sébastien Breau, Michael Shin, Nick Burkhart
2014 C conf
Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture.
SEKE
Chase Baker, Michael Shin
2012 — conf
Mapping of Security Concerns in Design to Security Aspects in Code.
SERE (Companion)
Chase Baker, Michael Shin
2007 — conf
Scalability in Analysis of Software Architecture.
Software Engineering Research and Practice
Michael Shin, Bosah Chukwuogo, Marta Calderón
2006 — conf
Modeling of Evolution to Secure Application System: from Requirements Model to Software Architecture.
Software Engineering Research and Practice
Michael Shin
2005 — conf
Detection of Anomalies in a Software Architectural Style with Connectors: Position Paper.
Software Engineering Research and Practice
Michael Shin, Yan Xu
2005 — conf
Meta-Modeling Approach to Tool Support for Model Transformation to Validate Dynamic Behavior of Systems.
Software Engineering Research and Practice
Michael Shin, Marta Calderón
2005 C conf
Visualization of Automated Trust Negotiation.
VizSEC
Danfeng Yao, Michael Shin, Roberto Tamassia, William H. Winsborough
2004 B conf
Secure Visualization of Authentication Information: A Case Study.
VL/HCC
Sean Cannella, Daniel J. Polivy, Michael Shin, Christian D. Straub, Roberto Tamassia
2003 — conf
Authenticated Dictionaries for Fresh Attribute Credentials.
iTrust
Michael T. Goodrich, Michael Shin, Roberto Tamassia, William H. Winsborough
2003 — conf
Distributed Data Authenication (System Demonstration).
DISCEX (2)
Michael T. Goodrich, Michael Shin, Christian D. Straub, Roberto Tamassia