| Towards practical differential privacy for SQL queries N Johnson, JP Near, D Song Proceedings of the VLDB Endowment 11 (5), 526-539, 2018 | 287* | 2018 |
| Towards practical differentially private convex optimization R Iyengar, JP Near, D Song, O Thakkar, A Thakurta, L Wang 2019 IEEE Symposium on Security and Privacy (SP), 299-316, 2019 | 141 | 2019 |
| Alloy*: A general-purpose higher-order relational constraint solver A Milicevic, JP Near, E Kang, D Jackson Formal Methods in System Design 55, 1-32, 2019 | 87 | 2019 |
| Finding security bugs in web applications using a catalog of access control patterns JP Near, D Jackson Proceedings of the 38th International Conference on Software Engineering …, 2016 | 46 | 2016 |
| Rubicon: bounded verification of web applications JP Near, D Jackson Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 42 | 2012 |
| Chorus: a programming framework for building scalable differential privacy mechanisms N Johnson, JP Near, JM Hellerstein, D Song 2020 IEEE European Symposium on Security and Privacy (EuroS&P), 535-551, 2020 | 39* | 2020 |
| Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy JP Near, D Darais, C Abuah, T Stevens, P Gaddamadugu, L Wang, ... Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 38 | 2019 |
| Data capsule: A new paradigm for automatic compliance with data privacy regulations L Wang, JP Near, N Somani, P Gao, A Low, D Dao, D Song Heterogeneous Data Management, Polystores, and Analytics for Healthcare …, 2019 | 35 | 2019 |
| An imperative extension to Alloy JP Near, D Jackson Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 29 | 2010 |
| Derailer: interactive security analysis for web applications JP Near, D Jackson Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 27 | 2014 |
| Alloy: a language and tool for relational models D Jackson, A Milicevic, J Near, E Kang, E Torlak retrieved at<> on Jul 22, 1, 2012 | 26 | 2012 |
| A lightweight code analysis and its role in evaluation of a dependability case JP Near, A Milicevic, E Kang, D Jackson Proceedings of the 33rd International Conference on Software Engineering, 31-40, 2011 | 25 | 2011 |
| Applications and extensions of Alloy: past, present and future E Torlak, M Taghdiri, G Dennis, JP Near Mathematical Structures in Computer Science 23 (4), 915-933, 2013 | 24 | 2013 |
| α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic JP Near, WE Byrd, DP Friedman Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 24 | 2008 |
| Equality and hashing for (almost) free: Generating implementations from abstraction functions D Rayside, Z Benjamin, R Singh, JP Near, A Milicevic, D Jackson 2009 IEEE 31st International Conference on Software Engineering, 342-352, 2009 | 22 | 2009 |
| Methods for host-based intrusion detection with deep learning JH Ring IV, CM Van Oort, S Durst, V White, JP Near, C Skalka Digital Threats: Research and Practice (DTRAP) 2 (4), 1-29, 2021 | 9 | 2021 |
| Efficient differentially private secure aggregation for federated learning via hardness of learning with errors T Stevens, C Skalka, C Vincent, J Ring, S Clark, J Near 31st USENIX Security Symposium (USENIX Security 22), 1379-1395, 2022 | 8 | 2022 |
| Do I get the privacy I need? Benchmarking utility in differential privacy libraries GM Garrido, J Near, A Muhammad, W He, R Matzutt, F Matthes arXiv preprint arXiv:2109.10789, 2021 | 6 | 2021 |
| Alloy: a Language & Tool for Relational Models, 2012 D Jackson, A Milicevic, E Torlak, E Kang, J Near | 6 | 2020 |
| Alloy*: A higher-order relational constraint solver A Milicevic, JP Near, E Kang, D Jackson | 6 | 2014 |
Dawn SongProfessor of Computer Science, UC BerkeleyZweryfikowany adres z cs.berkeley.edu
