James Parker

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 24

Top Topics

Max Sum Algorithm

Information Flow

Knowledge Extraction

Top Venues

USENIX Security Symposium

Proc. ACM Program. Lang.

Publications

Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium (2024)
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities. CoRR (2023)
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. USENIX Security Symposium (2023)
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker
Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition. CCS (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification. CoRR (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: approximated knowledge synthesis with refinement types for declassification. PLDI (2022)
Marc B. Rosen, James Parker, Alex J. Malozemoff
Balboa: Bobbing and Weaving around Network Censorship. CoRR (2021)
Marc B. Rosen, James Parker, Alex J. Malozemoff
Balboa: Bobbing and Weaving around Network Censorship. USENIX Security Symposium (2021)
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes. login Usenix Mag. 45 (4) (2020)
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It. USENIX Security Symposium (2020)
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
Build It, Break It, Fix It: Contesting Secure Development. ACM Trans. Priv. Secur. 23 (2) (2020)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
James Parker, Niki Vazou, Michael Hicks
LWeb: Information Flow Security for Multi-tier Web Applications. CoRR (2019)
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
Build It, Break It, Fix It: Contesting Secure Development. CoRR (2019)
James Parker, Niki Vazou, Michael Hicks
LWeb: information flow security for multi-tier web applications. Proc. ACM Program. Lang. 3 (POPL) (2019)
James Parker, Alessandro Farinelli, Maria L. Gini
Lazy max-sum for allocation of tasks with growing costs. Robotics Auton. Syst. 110 (2018)
Antanas Verikas, James Parker, Marija Bacauskiene, Charlotte Olsson
Exploring relations between EMG and biomechanical data recorded during a golf swing. Expert Syst. Appl. 88 (2017)
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
Build It, Break It, Fix It: Contesting Secure Development. CoRR (2016)
James Parker, Maria L. Gini
Controlling Growing Tasks with Heterogeneous Agents. IJCAI (2016)
Antanas Verikas, Evaldas Vaiciukynas, Adas Gelzinis, James Parker, Charlotte Olsson
Electromyographic Patterns during Golf Swing: Activation Sequence Profiling and Prediction of Shot Effectiveness. Sensors 16 (4) (2016)
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
Build It, Break It, Fix It: Contesting Secure Development. CCS (2016)
James Parker, Ernesto Nunes, Julio Godoy, Maria L. Gini
Exploiting Spatial Locality and Heterogeneity of Agents for Search and Rescue Teamwork. J. Field Robotics 33 (7) (2016)
James Parker, Alessandro Farinelli, Maria L. Gini
Max-Sum for Allocation of Changing Cost Tasks. IAS (2016)
Sylvester James Gates Jr., James Parker, Vincent G. J. Rodgers, Leo Rodriguez, Kory Stiffler
= 4 Supermultiplets. Symmetry 7 (2) (2015)
James Parker, Maria L. Gini
Tasks with cost growing over time and agent reallocation delays. AAMAS (2014)
James Parker
Coordination in large scale multi-agent systems for complex environments. AAMAS (2014)
Wenjia Li, James Parker, Anupam Joshi
Security Through Collaboration and Trust in MANETs. Mob. Networks Appl. 17 (3) (2012)
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
A 60GHz CMOS phased-array transceiver pair for multi-Gb/s wireless communications. ISSCC (2011)
Chris Marriott, James Parker, Jörg Denzinger
Imitation as a Mechanism of Cultural Transmission. Artif. Life 16 (1) (2010)
Wenjia Li, James Parker, Anupam Joshi
Security through Collaboration in MANETs. CollaborateCom (2008)
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
A Multi-Standard Low Power 1.5-3.125 Gb/s Serial Transceiver in 90nm CMOS. CICC (2006)
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
A multigigabit backplane transceiver core in 0.13-/spl mu/m CMOS with a power-efficient equalization architecture. IEEE J. Solid State Circuits 40 (12) (2005)
James Parker, Jeffrey Undercoffer, John Pinkston, Anupam Joshi
On intrusion detection and response for mobile ad hoc networks. IPCCC (2004)
Rajeev Rastogi, Philip Bohannon, James Parker, Abraham Silberschatz, S. Seshadri, S. Sudarshan
Distributed Multi-Level Recovery in Main-Memory Databases. Distributed Parallel Databases 6 (1) (1998)
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 Schroter, Paul van Wijnen, Lawrence F. Wagner
VBIC95, the vertical bipolar inter-company model. IEEE J. Solid State Circuits 31 (10) (1996)
Philip Bohannon, James Parker, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz, S. Sudarshan
Distributed Multi-Level Recovery in Main-Memory Databases. PDIS (1996)
Ernst Munter, James Parker, Paul Kirkby
A high-capacity ATM switch based on advanced electronic and optical technologies. IEEE Commun. Mag. 33 (11) (1995)