James Parker

40 papers A* 8A 2C 3Journal 23Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.
ACM Trans. Priv. Secur.
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Ian Sweet, Eran Tromer
2024 A* conf
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
USENIX Security Symposium
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2023 A* conf
Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities.
USENIX Security Symposium
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
2023 J jnl
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.
CoRR
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
2023 J jnl
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2022 J jnl
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
CoRR
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
2022 A* conf
ANOSY: approximated knowledge synthesis with refinement types for declassification.
PLDI
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
2022 A* conf
Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition.
CCS
Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker
2021 A* conf
Balboa: Bobbing and Weaving around Network Censorship.
USENIX Security Symposium
Marc B. Rosen, James Parker, Alex J. Malozemoff
2021 J jnl
Balboa: Bobbing and Weaving around Network Censorship.
CoRR
Marc B. Rosen, James Parker, Alex J. Malozemoff
2020 — —
Advanced Language-based Techniques for Correct, Secure Networked Systems.
James Parker
2020 J jnl
Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes.
login Usenix Mag.
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
2020 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
ACM Trans. Priv. Secur.
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2020 A* conf
Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It.
USENIX Security Symposium
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
2020 J jnl
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang.
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
2019 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
CoRR
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2019 J jnl
LWeb: Information Flow Security for Multi-tier Web Applications.
CoRR
James Parker, Niki Vazou, Michael Hicks
2019 J jnl
LWeb: information flow security for multi-tier web applications.
Proc. ACM Program. Lang.
James Parker, Niki Vazou, Michael Hicks
2018 J jnl
Lazy max-sum for allocation of tasks with growing costs.
Robotics Auton. Syst.
James Parker, Alessandro Farinelli, Maria L. Gini
2017 J jnl
Exploring relations between EMG and biomechanical data recorded during a golf swing.
Expert Syst. Appl.
Antanas Verikas, James Parker, Marija Bacauskiene, Charlotte Olsson
2016 A* conf
Build It, Break It, Fix It: Contesting Secure Development.
CCS
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
2016 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
CoRR
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
2016 A* conf
Controlling Growing Tasks with Heterogeneous Agents.
IJCAI
James Parker, Maria L. Gini
2016 J jnl
Electromyographic Patterns during Golf Swing: Activation Sequence Profiling and Prediction of Shot Effectiveness.
Sensors
Antanas Verikas, Evaldas Vaiciukynas, Adas Gelzinis, James Parker, Charlotte Olsson
2016 J jnl
Exploiting Spatial Locality and Heterogeneity of Agents for Search and Rescue Teamwork.
J. Field Robotics
James Parker, Ernesto Nunes, Julio Godoy, Maria L. Gini
2016 C conf
Max-Sum for Allocation of Changing Cost Tasks.
IAS
James Parker, Alessandro Farinelli, Maria L. Gini
2015 J jnl
An Extended Detailed Investigation of First and Second Order Supersymmetries for Off-Shell
Symmetry
Sylvester James Gates Jr., James Parker, Vincent G. J. Rodgers, Leo Rodriguez, Kory Stiffler
2014 A conf
Coordination in large scale multi-agent systems for complex environments.
AAMAS
James Parker
2014 A conf
Tasks with cost growing over time and agent reallocation delays.
AAMAS
James Parker, Maria L. Gini
2012 J jnl
Security Through Collaboration and Trust in MANETs.
Mob. Networks Appl.
Wenjia Li, James Parker, Anupam Joshi
2011 — conf
A 60GHz CMOS phased-array transceiver pair for multi-Gb/s wireless communications.
ISSCC
Sohrab Emami, Robert F. Wiser, Ershad Ali, Mark G. Forbes, Michael Q. Gordon, Xiang Guan, Steve Lo, Patrick T. McElwee, James Parker, Jon R. Tani, Jeffrey M. Gilbert, Chinh H. Doan
2010 J jnl
Imitation as a Mechanism of Cultural Transmission.
Artif. Life
Chris Marriott, James Parker, Jörg Denzinger
2008 C conf
Security through Collaboration in MANETs.
CollaborateCom
Wenjia Li, James Parker, Anupam Joshi
2006 — conf
A Multi-Standard Low Power 1.5-3.125 Gb/s Serial Transceiver in 90nm CMOS.
CICC
David A. Yokoyama-Martin, Kannan Krishna, John T. Stonick, Aaron Caffee, E. K. Gamble, Chris Jones, J. Mcneal, James Parker, Ross Segelken, Jeff L. Sonntag, K. Umino, J. Upton, Daniel Weinlader, Skye Wolfer
2005 J jnl
A multigigabit backplane transceiver core in 0.13-μm CMOS with a power-efficient equalization architecture.
IEEE J. Solid State Circuits
Kannan Krishna, David A. Yokoyama-Martin, Aaron Caffee, Chris Jones, Mat Loikkanen, James Parker, Ross Segelken, Jeff L. Sonntag, John T. Stonick, Steve Titus, Daniel Weinlader, Skye Wolfer
2004 C conf
On intrusion detection and response for mobile ad hoc networks.
IPCCC
James Parker, Jeffrey Undercoffer, John Pinkston, Anupam Joshi
1998 J jnl
Distributed Multi-Level Recovery in Main-Memory Databases.
Distributed Parallel Databases
Rajeev Rastogi, Philip Bohannon, James Parker, Abraham Silberschatz, S. Seshadri, S. Sudarshan
1996 — conf
Distributed Multi-Level Recovery in Main-Memory Databases.
PDIS
Philip Bohannon, James Parker, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz, S. Sudarshan
1996 J jnl
VBIC95, the vertical bipolar inter-company model.
IEEE J. Solid State Circuits
Colin C. McAndrew, Jerold A. Seitchik, Derek F. Bowers, Mark Dunn, Mark Foisy, Ian Getreu, Marc McSwain, Shahriar Moinian, James Parker, David J. Roulston, Michael Schröter, Paul van Wijnen, Lawrence F. Wagner
1995 J jnl
A high-capacity ATM switch based on advanced electronic and optical technologies.
IEEE Commun. Mag.
Ernst Munter, James Parker, Paul Kirkby