Center for Information Technology Policy (CITP)

2022

Towards Intersectionality in Machine Learning: Including More Identities, Handling Underrepresentation, and Performing Evaluation

Wang, A., Ramaswamy, V. V. & Russakovsky, O., Jun 21 2022, Proceedings of 2022 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022. Association for Computing Machinery, p. 336-349 14 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

42 Scopus citations

Toward Systematic Architectural Design of Near-Term Trapped Ion Quantum Computers

Murali, P., Debroy, D. M., Brown, K. R. & Martonosi, M., Feb 23 2022, In: Communications of the ACM. 65, 3, p. 101-109 9 p.

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Transcriptomic mapping uncovers Purkinje neuron plasticity driving learning

Chen, X., Du, Y., Broussard, G. J., Kislin, M., Yuede, C. M., Zhang, S., Dietmann, S., Gabel, H., Zhao, G., Wang, S. S. H., Zhang, X. & Bonni, A., May 26 2022, In: Nature. 605, 7911, p. 722-727 6 p.

Research output: Contribution to journal › Article › peer-review

Open Access

22 Scopus citations

Unbiased Delay Measurement in the Data Plane

Zheng, Y., Chen, X., Braverman, M. & Rexford, J., 2022, 3rd Meeting of the Symposium on Algorithmic Principles of Computer Systems, APOCS 2022. Society for Industrial and Applied Mathematics Publications, p. 15-30 16 p. (3rd Meeting of the Symposium on Algorithmic Principles of Computer Systems, APOCS 2022).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Scopus citations

Verified Erasure Correction in Coq with MathComp and VST

Cohen, J. M., Wang, Q. & Appel, A. W., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 272-292 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13372 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2 Scopus citations

Verified Numerical Methods for Ordinary Differential Equations

Kellison, A. E. & Appel, A. W., 2022, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings. Isac, O., Katz, G., Ivanov, R., Narodytska, N. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 147-163 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13466 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

2021

Abstraction and subsumption in modular verification of C programs

Beringer, L. & Appel, A. W., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 322-345 24 p.

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

ActionBert: Leveraging User Actions for Semantic Understanding of User Interfaces

He, Z., Sunkara, S., Zang, X., Xu, Y., Liu, L., Wichers, N., Schubiner, G., Lee, R. & Chen, J., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, p. 5931-5938 8 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 7).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

31 Scopus citations

Adapting security warnings to counter online disinformation

Kaiser, B., Wei, J., Lucherini, E., Lee, K., Matias, J. N. & Mayer, J., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 1163-1180 18 p. (Proceedings of the 30th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

40 Scopus citations

Alan Turing’s Systems of Logic: THE PRINCETON THESIS

Appel, A. W., Jan 1 2021, Princeton University Press. 146 p.

Research output: Book/Report › Book

Analyzing Traffic by Domain Name in the Data Plane

Kim, J., Kim, H. & Rexford, J., Oct 11 2021, SOSR 2021 - Proceedings of the 2021 ACM SIGCOMM Symposium on SDN Research. Association for Computing Machinery, Inc, p. 1-12 12 p. (SOSR 2021 - Proceedings of the 2021 ACM SIGCOMM Symposium on SDN Research).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 Scopus citations

A P4-based 5G User Plane Function

Macdavid, R., Cascone, C., Lin, P., Padmanabhan, B., Thakur, A., Peterson, L., Rexford, J. & Sunay, O., Oct 11 2021, SOSR 2021 - Proceedings of the 2021 ACM SIGCOMM Symposium on SDN Research. Association for Computing Machinery, Inc, p. 162-168 7 p. (SOSR 2021 - Proceedings of the 2021 ACM SIGCOMM Symposium on SDN Research).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

41 Scopus citations

A Permutation-Equivariant Neural Network Architecture For Auction Design

Rahme, J., Jelassi, S., Bruna, J. & Weinberg, S. M., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Association for the Advancement of Artificial Intelligence, p. 5664-5672 9 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 6B).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

19 Scopus citations

A simple and approximately optimal mechanism for a buyer with complements

Eden, A., Feldman, M., Friedler, O., Talgam-Cohen, I. & Weinberg, S. M., Jan 1 2021, In: Operations Research. 69, 1, p. 188-206 19 p.

Research output: Contribution to journal › Article › peer-review

Open Access

1 Scopus citations

A system for efficiently hunting for cyber threats in computer systems using threat intelligence

Gao, P., Shao, F., Liu, X., Xiao, X., Liu, H., Qin, Z., Xu, F., Mittal, P., Kulkarni, S. R. & Song, D., Apr 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society, p. 2705-2708 4 p. 9458871. (Proceedings - International Conference on Data Engineering; vol. 2021-April).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

12 Scopus citations

A systems framework for remedying dysfunction in US democracy

Wang, S. S. H., Cervas, J., Grofman, B. & Lipsitz, K., Dec 14 2021, In: Proceedings of the National Academy of Sciences of the United States of America. 118, 50, e2102154118.

Research output: Contribution to journal › Article › peer-review

Open Access

12 Scopus citations

Attacking and Protecting Data Privacy in Edge-Cloud Collaborative Inference Systems

He, Z., Zhang, T. & Lee, R. B., Jun 15 2021, In: IEEE Internet of Things Journal. 8, 12, p. 9706-9716 11 p., 9187880.

Research output: Contribution to journal › Article › peer-review

62 Scopus citations

AUCTION LEARNING AS A TWO-PLAYER GAME

Rahme, J., Jelassi, S. & Weinberg, S. M., 2021.

Research output: Contribution to conference › Paper › peer-review

18 Scopus citations

AutoSVA: Democratizing Formal Verification of RTL Module Interactions

Orenes-Vera, M., Manocha, A., Wentzlaff, D. & Martonosi, M., Dec 5 2021, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. Institute of Electrical and Electronics Engineers Inc., p. 535-540 6 p. (Proceedings - Design Automation Conference; vol. 2021-December).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

5 Scopus citations

A Verified Session Protocol for Dynamic Service Chaining

Zave, P., Carvalho, F. B., Ferreira, R. A., Rexford, J., Morimoto, M. & Zou, X. K., Feb 2021, In: IEEE/ACM Transactions on Networking. 29, 1, p. 423-437 15 p., 9264708.

Research output: Contribution to journal › Article › peer-review

Open Access

2 Scopus citations

Blind Federated Edge Learning

Amiri, M. M., Duman, T. M., Gunduz, D., Kulkarni, S. R. & Poor, H. V. P., Aug 2021, In: IEEE Transactions on Wireless Communications. 20, 8, p. 5129-5143 15 p., 9382114.

Research output: Contribution to journal › Article › peer-review

Open Access

67 Scopus citations

Challenges and strategies for supporting a very-long-duration mission

Fountain, G. H., Krimigis, S. M. & Vertesi, J. A., 2021, AIAA Scitech 2021 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2021 Forum).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Compositional optimizations for CertiCoq

Paraskevopoulou, Z., Li, J. M. & Appel, A. W., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473591.

Research output: Contribution to journal › Article › peer-review

Open Access

10 Scopus citations

Consensus-based guidance for conducting and reporting multi-analyst studies

Aczel, B., Szaszi, B., Nilsonne, G., Van Den Akker, O. R., Albers, C. J., Van Assen, M. A., Bastiaansen, J. A., Benjamin, D., Boehm, U., Botvinik-Nezer, R., Bringmann, L. F., Busch, N. A., Caruyer, E., Cataldo, A. M., Cowan, N., Delios, A., Van Dongen, N. N., Donkin, C., Van Doorn, J. B. & Dreber, A. & 34 others, Dutilh, G., Egan, G. F., Gernsbacher, M. A., Hoekstra, R., Hoffmann, S., Holzmeister, F., Huber, J., Johannesson, M., Jonas, K. J., Kindel, A. T., Kirchler, M., Kunkels, Y. K., Lindsay, D. S., Mangin, J. F., Matzke, D., Munafò, M. R., Newell, B. R., Nosek, B. A., Poldrack, R. A., Ravenzwaaij, D. V., Rieskamp, J., Salganik, M. J., Sarafoglou, A., Schonberg, T., Schweinsberg, M., Shanks, D., Silberzahn, R., Simons, D. J., Spellman, B. A., St-Jean, S., Starns, J. J., Uhlmann, E. L., Wicherts, J. & Wagenmakers, E. J., Nov 2021, In: eLife. 10, e72185.

Research output: Contribution to journal › Article › peer-review

Open Access

26 Scopus citations

Convergence of Update Aware Device Scheduling for Federated Learning at the Wireless Edge

Amiri, M. M., Gunduz, D., Kulkarni, S. R. & Vincent Poor, H., Jun 2021, In: IEEE Transactions on Wireless Communications. 20, 6, p. 3643-3658 16 p., 9337227.

Research output: Contribution to journal › Article › peer-review

Open Access

130 Scopus citations

CutQC: Using small Quantum computers for large Quantum circuit evaluations

Tang, W., Tomesh, T., Suchara, M., Larson, J. & Martonosi, M., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 473-486 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

91 Scopus citations

Deriving efficient program transformations from rewrite rules

Li, J. M. & Appel, A. W., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473579.

Research output: Contribution to journal › Article › peer-review

Open Access

4 Scopus citations

Designing calibration and expressivity-efficient instruction sets for quantum computing

Lao, L., Murali, P., Martonosi, M. & Browne, D., Jun 2021, Proceedings - 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture, ISCA 2021. Institute of Electrical and Electronics Engineers Inc., p. 846-859 14 p. (Proceedings - International Symposium on Computer Architecture; vol. 2021-June).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

22 Scopus citations

Directional Bias Amplification

Wang, A. & Russakovsky, O., 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 10882-10893 12 p. (Proceedings of Machine Learning Research; vol. 139).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

19 Scopus citations

Enabling efficient cyber threat hunting with cyber threat intelligence

Gao, P., Shao, F., Liu, X., Xiao, X., Qin, Z., Xu, F., Mittal, P., Kulkarni, S. R. & Song, D., Apr 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society, p. 193-204 12 p. 9458828. (Proceedings - International Conference on Data Engineering; vol. 2021-April).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

79 Scopus citations

Erratum: Measuring the predictability of life outcomes with a scientific mass collaboration (Proceedings of the National Academy of Sciences of the United States of America (2020) 117 (8398-8403) DOI: 10.1073/pnas.1915006117)

Salganik, M. J., Lundberg, I., Kindel, A. T., Ahearn, C. E., Al-Ghoneim, K., Almaatouq, A., Altschul, D. M., Brand, J. E., Carnegie, N. B., Compton, R. J., Datta, D., Davidson, T., Filippova, A., Gilroy, C., Goode, B. J., Jahani, E., Kashyap, R., Kirchner, A., McKay, S. & Morgan, A. C. & 92 others, Pentland, A., Polimis, K., Raes, L., Rigobon, D. E., Roberts, C. V., Stanescu, D. M., Suhara, Y., Usmani, A., Wang, E. H., Adem, M., Alhajri, A., AlShebli, B., Amin, R., Amos, R. B., Argyle, L. P., Baer-Bositis, L., Büchi, M., Chung, B. R., Eggert, W., Faletto, G., Fan, Z., Freese, J., Gadgil, T., Gagné, J., Gao, Y., Halpern-Manners, A., Hashim, S. P., Hausen, S., He, G., Higuera, K., Hogan, B., Horwitz, I. M., Hummel, L. M., Jain, N., Jin, K., Jurgens, D., Kaminski, P., Karapetyan, A., Kim, E. H., Leizman, B., Liu, N., Möser, M., Mack, A. E., Mahajan, M., Mandell, N., Marahrens, H., Mercado-Garcia, D., Mocz, V., Mueller-Gastell, K., Musse, A., Niu, Q., Nowak, W., Omidvar, H., Or, A., Ouyang, K., Pinto, K. M., Porter, E., Porter, K. E., Qian, C., Rauf, T., Sargsyan, A., Schaffner, T., Schnabel, L., Schonfeld, B., Sender, B., Tang, J. D., Tsurkov, E., van Loon, A., Varol, O., Wang, J., Wang, F., Weissman, S., Whitaker, K., Wolters, M. K., Woon, W. L., Wang, X., Wang, Z., Wu, J., Wu, C., Yang, K., Yin, J., Zhao, B., Zhu, C., Brooks-Gunn, J., Engelhardt, B. E., Hardt, M., Knox, D., Levy, K., Narayanan, A., Stewart, B. M., Watts, D. J. & McLanahan, S., Dec 14 2021, In: Proceedings of the National Academy of Sciences of the United States of America. 118, 50, e2118703118.

Research output: Contribution to journal › Comment/debate › peer-review

Open Access

1 Scopus citations

Experience-driven research on programmable networks

Kim, H., Chen, X., Brassil, J. & Rexford, J., Jan 31 2021, In: Computer Communication Review. 51, 1, p. 11-17 7 p.

Research output: Contribution to journal › Article › peer-review

16 Scopus citations

Experiences deploying multi-vantage-point domain validation at let's encrypt

Birge-Lee, H., Wang, L., McCarney, D., Shoemaker, R., Rexford, J. & Mittal, P., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 4311-4327 17 p. (Proceedings of the 30th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Scopus citations

Exponential communication separations between notions of selfishness

Rubinstein, A., Saxena, R. R., Thomas, C., Matthew Weinberg, S. & Zhao, J., Jun 15 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (eds.). Association for Computing Machinery, p. 947-960 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

4 Scopus citations

Fair Attribute Classification through Latent Space De-biasing

Ramaswamy, V. V., Kim, S. S. Y. & Russakovsky, O., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 9297-9306 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

81 Scopus citations

Federated Learning with Downlink Device Selection

Amiri, M. M., Kulkarni, S. R. & Poor, H. V., 2021, 2021 IEEE 22nd International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2021. Institute of Electrical and Electronics Engineers Inc., p. 306-310 5 p. (IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC; vol. 2021-September).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

9 Scopus citations

GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures

Manocha, A., Sorensen, T., Tureci, E., Matthews, O., Aragón, J. L. & Martonosi, M., Dec 2021, In: ACM Transactions on Architecture and Code Optimization. 18, 4, 3469846.

Research output: Contribution to journal › Article › peer-review

Open Access

4 Scopus citations

Homologous organization of cerebellar pathways to sensory, motor, and associative forebrain

Pisano, T. J., Dhanerawala, Z. M., Kislin, M., Bakshinskaya, D., Engel, E. A., Hansen, E. J., Hoag, A. T., Lee, J., de Oude, N. L., Venkataraju, K. U., Verpeut, J. L., Hoebeek, F. E., Richardson, B. D., Boele, H. J. & Wang, S. S. H., Sep 21 2021, In: Cell Reports. 36, 12, 109721.

Research output: Contribution to journal › Article › peer-review

Open Access

63 Scopus citations

Identifying harmful media in end-to-end encrypted communication: Efficient private membership computation

Kulshrestha, A. & Mayer, J., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 893-910 18 p. (Proceedings of the 30th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

23 Scopus citations

Integrating explanation and prediction in computational social science

Hofman, J. M., Watts, D. J., Athey, S., Garip, F., Griffiths, T. L., Kleinberg, J., Margetts, H., Mullainathan, S., Salganik, M. J., Vazire, S., Vespignani, A. & Yarkoni, T., Jul 8 2021, In: Nature. 595, 7866, p. 181-188 8 p.

Research output: Contribution to journal › Review article › peer-review

181 Scopus citations

Introduction

The CI+NLP workshop organizers, 2021, In: 1st Workshop on Causal Inference and Natural Language Processing, Proceedings of CI+NLP 2021. p. III-IV

Research output: Contribution to journal › Editorial › peer-review

Logical abstractions for noisy variational Quantum algorithm simulation

Huang, Y., Holtzen, S., Millstein, T., Van Den Broeck, G. & Martonosi, M., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 456-472 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

6 Scopus citations

Lucid: A language for control in the data plane

Sonchack, J., Loehr, D., Rexford, J. & Walker, D., Aug 9 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 731-747 17 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

37 Scopus citations

Machine Learning for Social Science: An Agnostic Approach

Grimmer, J., Roberts, M. E. & Stewart, B. M., May 11 2021, In: Annual Review of Political Science. 24, p. 395-419 25 p.

Research output: Contribution to journal › Review article › peer-review

Open Access

147 Scopus citations

Neptune odyssey: A flagship concept for the exploration of the neptune-triton system

Rymer, A. M., Runyon, K. D., Clyde, B., Núñez, J. I., Nikoukar, R., Soderlund, K. M., Sayanagi, K., Hofstadter, M., Quick, L. C., Stern, S. A., Becker, T., Hedman, M., Cohen, I., Crary, F., Fortney, J. J., Vertesi, J., Hansen, C., De Pater, I., Paty, C. & Spilker, T. & 53 others, Stallard, T., Hospodarsky, G. B., Smith, H. T., Wakeford, H., Moran, S. E., Annex, A., Schenk, P., Ozimek, M., Arrieta, J., McNutt, R. L., Masters, A., Simon, A. A., Ensor, S., Apland, C. T., Bruzzi, J., Patthoff, D. A., Scott, C., Campo, C., Krupiarz, C., Cochrane, C. J., Gantz, C., Rodriguez, D., Gallagher, D., Hurley, D., Crowley, D., Abel, E., Provornikova, E., Turtle, E. P., Clark, G., Wilkes, J., Hunt, J., Roberts, J. H., Rehm, J., Murray, K., Wolfarth, L., Fletcher, L. N., Spilker, L., Martin, E. S., Parisi, M., Norkus, M., Izenberg, N., Stough, R., Vervack, R. J., Mandt, K., Stevenson, K. B., Kijewski, S., Cheng, W., Feldman, J. D., Allen, G., Prabhu, D., Dutta, S., Young, C. & Williams, J., Oct 2021, In: Planetary Science Journal. 2, 5, 184.

Research output: Contribution to journal › Article › peer-review

Open Access

14 Scopus citations

New Directions in Automated Traffic Analysis

Holland, J., Schmitt, P., Feamster, N. & Mittal, P., Nov 12 2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 3366-3383 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

68 Scopus citations

New Models for Understanding and Reasoning about Speculative Execution Attacks

He, Z., Hu, G. & Lee, R., Feb 2021, Proceeding - 27th IEEE International Symposium on High Performance Computer Architecture, HPCA 2021. IEEE Computer Society, p. 40-53 14 p. 9407076. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2021-February).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

12 Scopus citations

Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems

Tomesh, T., Gui, K., Gokhale, P., Shi, Y., Chong, F. T., Martonosi, M. & Suchara, M., 2021, Proceedings - 2021 International Conference on Rebooting Computing, ICRC 2021. Institute of Electrical and Electronics Engineers Inc., p. 1-13 13 p. (Proceedings - 2021 International Conference on Rebooting Computing, ICRC 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2 Scopus citations

Patterns and Interactions in Network Security

Zave, P. & Rexford, J., Feb 2021, In: ACM Computing Surveys. 53, 6, 118.

Research output: Contribution to journal › Article › peer-review

Open Access

5 Scopus citations

Preface

Appel, A. W., Jan 1 2021, Alan Turing’s Systems of Logic: the Princeton Thesis. Princeton University Press, p. ix-x

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Center for Information Technology Policy (CITP)

Research output

Search results