Carl A. Gunter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
34
Active years
1985–2023
Best venue rank
A*
Where they publish
- A*CCS13 papers
- A*NDSS9 papers
- AACSAC4 papers
- A*POPL4 papers
- A*LICS4 papers
- A*SP3 papers
- CSACMAT3 papers
- NationalAMIA2 papers
- AESORICS2 papers
- BSMC2 papers
- A*INFOCOM2 papers
- BMFPS2 papers
- ASOUPS1 paper
- CMobiquitous1 paper
- ARAID1 paper
- A*WWW1 paper
- A*SIGIR1 paper
- BEDBT1 paper
- CISI1 paper
- BSECON1 paper
- A*OSDI1 paper
- BDBSEC1 paper
- UnrankedSEC1 paper
- NationalHOTNETS1 paper
- AICSOC1 paper
- AICWS1 paper
- Journal PublishedEMSOFT1 paper
- AECOOP1 paper
- Journal PublishedCASES1 paper
- AISSTA1 paper
- AICFP1 paper
- ACADE1 paper
- A*AAAI1 paper
- A*ICALP1 paper
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ACSAC | A Tagging Solution to Discover IoT Devices in Apartments. | Berkay Kaplan, Israel J. Lopez-Toledo, Carl A. Gunter, Jingyu Qian |
| 2023 | SOUPS | Evaluating User Behavior in Smartphone Security: A Psychometric Perspective. | Hsiao-Ying Huang, Soteris Demetriou, Muhammad Hassan, Gliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir |
| 2021 | NDSS | DOVE: A Data-Oblivious Virtual Environment. | Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter |
| 2021 | SP | Detecting AI Trojans Using Meta Neural Analysis. | Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li |
| 2020 | NDSS | You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. | Qi Wang, Wajih Ul Hassan, Ding Li, Kangkook Jee, Xiao Yu, Kexuan Zou, Junghwan Rhee, Zhengzhang Chen, Wei Cheng, Carl A. Gunter, Haifeng Chen |
| 2019 | CCS | Charting the Attack Surface of Trigger-Action IoT Platforms. | Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter |
| 2018 | CCS | Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations. | Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, Nikita Borisov |
| 2018 | Mobiquitous | ReSPonSe: Real-time, Secure, and Privacy-aware Video Redaction System. | Bo Chen, Klara Nahrstedt, Carl A. Gunter |
| 2018 | NDSS | Resolving the Predicament of Android Custom Permissions. | Gliz Seray Tuncay, Soteris Demetriou, Karan Ganju, Carl A. Gunter |
| 2018 | NDSS | Fear and Logging in the Internet of Things. | Qi Wang, Wajih Ul Hassan, Adam Bates, Carl A. Gunter |
| 2017 | ACSAC | Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps. | Wei Yang, Deguang Kong, Tao Xie, Carl A. Gunter |
| 2017 | CCS | Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. | Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter |
| 2017 | RAID | Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises. | Rashid Tahir, Muhammad Huzaifa, Anupam Das, Mohammad Ahmad, Carl A. Gunter, Fareed Zaffar, Matthew Caesar, Nikita Borisov |
| 2016 | CCS | Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets. | Avesta Hojjati, Anku Adhikari, Katarina Struckmann, Edward Chou, Thi Ngoc Tho Nguyen, Kushagra Madan, Marianne Southall Winslett, Carl A. Gunter, William P. King |
| 2016 | CCS | Draco: A System for Uniform and Fine-grained Access Control for Web Code on Android. | Gliz Seray Tuncay, Soteris Demetriou, Carl A. Gunter |
| 2016 | NDSS | Free for All! Assessing User Data Exposure to Advertising Libraries on Android. | Soteris Demetriou, Whitney Merrill, Wei Yang, Aston Zhang, Carl A. Gunter |
| 2016 | WWW | Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach. | Aston Zhang, Amit Goyal, Ricardo Baeza-Yates, Yi Chang, Jiawei Han, Carl A. Gunter, Hongbo Deng |
| 2015 | AMIA | Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization. | You Chen, Wei Xie, Carl A. Gunter, David M. Liebovitz, Sanjay Mehrotra, He Zhang, Bradley A. Malin |
| 2015 | NDSS | What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources. | Soteris Demetriou, Xiao-yong Zhou, Muhammad Naveed, Yeonjoon Lee, Kan Yuan, XiaoFeng Wang, Carl A. Gunter |
| 2015 | SIGIR | adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback. | Aston Zhang, Amit Goyal, Weize Kong, Hongbo Deng, Anlei Dong, Yi Chang, Carl A. Gunter, Jiawei Han |
| 2014 | AMIA | Security Concerns in Android mHealth Apps. | Dongjing He, Muhammad Naveed, Carl A. Gunter, Klara Nahrstedt |
| 2014 | CCS | Controlled Functional Encryption. | Muhammad Naveed, Shashank Agrawal, Manoj Prabhakaran, XiaoFeng Wang, Erman Ayday, Jean-Pierre Hubaux, Carl A. Gunter |
| 2014 | CCS | Decide Now or Decide Later?: Quantifying the Tradeoff between Prospective and Retrospective Access Decisions. | Wen Zhang, You Chen, Thaddeus Cybulski, Daniel Fabbri, Carl A. Gunter, Patrick N. Lawlor, David M. Liebovitz, Bradley A. Malin |
| 2014 | EDBT | Privacy Risk in Anonymized Heterogeneous Information Networks. | Aston Zhang, Xing Xie, Kevin Chen-Chuan Chang, Carl A. Gunter, Jiawei Han, XiaoFeng Wang |
| 2014 | NDSS | Inside Job: Understanding and Mitigating the Threat of External Device Mis-Binding on Android. | Muhammad Naveed, Xiao-yong Zhou, Soteris Demetriou, XiaoFeng Wang, Carl A. Gunter |
| 2014 | SP | Dynamic Searchable Encryption via Blind Storage. | Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter |
| 2013 | CCS | Identity, location, disease and more: inferring your secrets from android public resources. | Xiao-yong Zhou, Soteris Demetriou, Dongjing He, Muhammad Naveed, Xiaorui Pan, XiaoFeng Wang, Carl A. Gunter, Klara Nahrstedt |
| 2013 | ISI | Modeling and detecting anomalous topic access. | Siddharth Gupta, Casey Hanson, Carl A. Gunter, Mario Frank, David M. Liebovitz, Bradley A. Malin |
| 2013 | SACMAT | Evolving role definitions through permission invocation patterns. | Wen Zhang, You Chen, Carl A. Gunter, David M. Liebovitz, Bradley A. Malin |
| 2011 | ACSAC | Reliable telemetry in white spaces using remote attestation. | Omid Fatemieh, Michael LeMay, Carl A. Gunter |
| 2011 | NDSS | Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. | Omid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter |
| 2011 | SECON | Making DTNs robust against spoofing attacks with localized countermeasures. | Md. Yusuf Sarwar Uddin, Ahmed Khurshid, Hee Dong Jung, Carl A. Gunter, Matthew Caesar, Tarek F. Abdelzaher |
| 2010 | OSDI | Tiered Incentives for Integrity Based Queuing. | Fariba Khan, Carl A. Gunter |
| 2009 | DBSEC | Implementing Reflective Access Control in SQL. | Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett |
| 2009 | ESORICS | Cumulative Attestation Kernels for Embedded Systems. | Michael LeMay, Carl A. Gunter |
| 2009 | ESORICS | Model-Checking DoS Amplification for VoIP Session Initiation. | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, Jos Meseguer |
| 2009 | SMC | Sh@re: Negotiated Audit in Social Networks. | Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell |
| 2009 | SACMAT | Safety in discretionary access control for logic-based publish-subscribe systems. | Kazuhiro Minami, Nikita Borisov, Carl A. Gunter |
| 2009 | SEC | How to Bootstrap Security for Ad-Hoc Network: Revisited. | Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka |
| 2008 | CCS | Using rhythmic nonces for puzzle-based DoS resistance. | Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo |
| 2008 | CCS | A formal framework for reflective database access control policies. | Lars E. Olson, Carl A. Gunter, P. Madhusudan |
| 2008 | INFOCOM | Adaptive SelectiveVerification. | Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter |
| 2007 | CCS | Improving multi-tier security using redundant authentication. | Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila |
| 2007 | HOTNETS | Supporting Emergency-Response by Retasking Network Infrastructures. | Michael LeMay, Carl A. Gunter |
| 2007 | SP | On the Safety and Efficiency of Firewall Policy Deployment. | Charles C. Zhang, Marianne Winslett, Carl A. Gunter |
| 2007 | SACMAT | PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. | Michael LeMay, Omid Fatemieh, Carl A. Gunter |
| 2006 | ACSAC | Using Attribute-Based Access Control to Enable Attribute-Based Messaging. | Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana |
| 2006 | CCS | Defeasible security policy composition for web services. | Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter |
| 2006 | CCS | Securing the drop-box architecture for assisted living. | Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee |
| 2006 | ICSOC | AMPol-Q: Adaptive Middleware Policy to Support QoS. | Raja Afandi, Jianqing Zhang, Carl A. Gunter |
| 2006 | SMC | I-Living: An Open System Architecture for Assisted Living. | Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha |
| 2005 | ICWS | WSEmail: Secure Internet Messaging Based on Web Services. | Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter |
| 2005 | POPL | Formal prototyping in early stages of protocol design. | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr |
| 2004 | EMSOFT | A model-based approach to integrating security policies for embedded devices. | Michael McDougall, Rajeev Alur, Carl A. Gunter |
| 2004 | NDSS | DoS Protection for Reliably Authenticated Broadcast. | Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh |
| 2003 | ECOOP | Open APIs for Embedded Security. | Carl A. Gunter |
| 2002 | CASES | Predictable programs in barcodes. | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur |
| 2001 | POPL | What packets may come: automata for network monitoring. | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 2000 | POPL | Generalized Certificate Revocation. | Carl A. Gunter, Trevor Jim |
| 1999 | INFOCOM | PLANet: An Active Internetwork. | Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles |
| 1998 | ICFP | PLAN: A Packet Language for Active Networks. | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
| 1992 | CADE | Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. | Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen |
| 1991 | AAAI | The Common Order-Theoretic Structure of Version Spaces and ATMS's. | Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian |
| 1990 | LICS | Normal Process Representatives | Vijay Gehlot, Carl A. Gunter |
| 1990 | POPL | Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. | Carl A. Gunter |
| 1989 | LICS | Inheritance and Explicit Coercion (Preliminary Report) | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
| 1988 | LICS | Coherence and Consistency in Domains (Extended Outline) | Carl A. Gunter, Achim Jung |
| 1987 | MFPS | DI-Domains as a Model of Polymorphism. | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
| 1986 | LICS | The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains | Carl A. Gunter |
| 1985 | ICALP | A Universal Domain Technique for Profinite Posets. | Carl A. Gunter |
| 1985 | MFPS | Comparing Categories of Domains. | Carl A. Gunter |