Research Output 1966 2019

Filter
Conference contribution
2019

1.1 Deep Learning Hardware: Past, Present, and Future

LeCun, Y., Mar 6 2019, 2019 IEEE International Solid-State Circuits Conference, ISSCC 2019. Institute of Electrical and Electronics Engineers Inc., p. 12-19 8 p. 8662396. (Digest of Technical Papers - IEEE International Solid-State Circuits Conference; vol. 2019-February).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardware
Neural networks
Deep learning

A demonstration of dynamic drawing guidance via electromagnetic haptic feedback

Langerak, T., Zarate, J., Vechev, V., Panozzo, D. & Hilliges, O., Oct 14 2019, UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 110-112 3 p. (UIST 2019 Adjunct - Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Electromagnets
Demonstrations
Trajectories
Feedback

An algorithmic approach to limit cycles of nonlinear differential systems: The averaging method revisited

Huang, B. & Yap, C., Jul 8 2019, ISSAC 2019 - Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 211-218 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Averaging Method
Differential System
Limit Cycle
Nonlinear Systems
Averaging

An Improved RNS Variant of the BFV Homomorphic Encryption Scheme

Halevi, S., Polyakov, Y. & Shoup, V., Jan 1 2019, Topics in Cryptology – CT-RSA 2019 - The Cryptographers’ Track at the RSA Conference 2019, Proceedings. Matsui, M. (ed.). Springer-Verlag, p. 83-105 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11405 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Residue number System
Chinese remainder theorem
Homomorphic Encryption
Numbering systems
Fans

A stretch-sensing soft glove for interactive hand pose estimation

Glauser, O., Wu, S., Panozzo, D., Hilliges, O. & Sorkine-Hornung, O., Jul 28 2019, ACM SIGGRAPH 2019 Emerging Technologies, SIGGRAPH 2019. Association for Computing Machinery, Inc, (ACM SIGGRAPH 2019 Emerging Technologies, SIGGRAPH 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Capacitive sensors
Sensor arrays
Calibration
Fabrication
Sensors

A wideband sliding correlator-based channel sounder with synchronization in 65 nm CMOS

Wu, T., Rappaport, T., Knox, M. E. & Shahrjerdi, D., Jan 1 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8702223. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Correlators
Synchronization
Acoustic waves
Millimeter waves
Ultra-wideband (UWB)

CAVe: Making collective virtual narrative

Layng, K., Perlin, K., Herscher, S., Brenner, C. & Meduri, T., Jul 28 2019, ACM SIGGRAPH 2019 Art Gallery, SIGGRAPH 2019. Association for Computing Machinery, Inc, (ACM SIGGRAPH 2019 Art Gallery, SIGGRAPH 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Theaters
Virtual reality

CAVRN: An exploration and evaluation of a collective audience virtual reality nexus experience

Herscher, S., DeFanti, C., Vitovitch, N. G., Brenner, C., Xia, H., Layng, K. & Perlin, K., Oct 17 2019, UIST 2019 - Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 1137-1150 14 p. (UIST 2019 - Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Virtual reality
Ecosystems
Theaters
Momentum
Throughput

Challenges using head-mounted displays in shared and social spaces

Gugenheimer, J., McGill, M., Steinicke, F., Mai, C., Williamson, J. & Perlin, K., May 2 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3299028. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Display devices

Clock Bound Repair for Timed Systems

Kölbl, M., Leue, S. & Wies, T., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer-Verlag, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Repair
Clocks
Timed Automata
Admissibility
Diagnostics

Debugging machine learning pipelines

Lourenço, R., Freire, J. & Shasha, D., Jun 30 2019, Proceedings of the 3rd Workshop on Data Management for End-To-End Machine Learning, DEEM 2019 - In conjunction with the 2019 ACM SIGMOD/PODS Conference. Association for Computing Machinery, 3329489. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning systems
Pipelines
Costs

Deferred runtime pipelining for contentious multicore software transactions

Mu, S., Angel, S. & Shasha, D., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303966. (Proceedings of the 14th EuroSys Conference 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Throughput
Concurrency control
Data storage equipment
Opacity
Network protocols

DesIGN: Design inspiration from generative networks

Sbai, O., Elhoseiny, M., Bordes, A., LeCun, Y. & Couprie, C., Jan 1 2019, Computer Vision – ECCV 2018 Workshops, Proceedings. Leal-Taixé, L. & Roth, S. (eds.). Springer-Verlag, p. 37-44 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11131 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Loss Function
Shape Design
Evaluation
Network Architecture
Texture

Effective subdivision algorithm for isolating zeros of real systems of equations, with complexity analysis

Xu, J. & Yap, C., Jul 8 2019, ISSAC 2019 - Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 355-362 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Subdivision Algorithm
Complexity Analysis
System of equations
Zero
Zero of a function

Enabling a permanent revolution in internet architecture

McCauley, J., Harchol, Y., Panda, A., Raghavan, B. & Shenker, S., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 1-14 14 p. (SIGCOMM 2019 - Proceedings of the 2019 Conference of the ACM Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
permanent revolution
Internet
Slate
functionality

Exploring configuration of mixed reality spaces for communication

He, Z., Perlin, K. & Rosenberg, K. T., May 2 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3312761. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication

GAIUS: A new mobile content creation and diffusion ecosystem for emerging regions

Ahmad, T., Zaki, Y., Pötsh, T., Chen, J., Sathiaseelan, A. & Subramanian, L., Jan 4 2019, Proceedings of the 10th International Conference on Information and Communication Technologies and Development, ICTD 2019. Association for Computing Machinery, a34

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ecosystems
Websites
Internet

Geometric computing with python

Koch, S., Schneider, T., Williams, F. & Panozzo, D., Jul 28 2019, ACM SIGGRAPH 2019 Courses, SIGGRAPH 2019. Association for Computing Machinery, Inc, a10. (ACM SIGGRAPH 2019 Courses, SIGGRAPH 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Globally-Aware Multiple Instance Classifier for Breast Cancer Screening

Shen, Y., Wu, N., Phang, J., Park, J., Kim, G., Moy, L., Cho, K. & Geras, K. J., Jan 1 2019, Machine Learning in Medical Imaging - 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Proceedings. Suk, H-I., Liu, M., Lian, C. & Yan, P. (eds.). Springer , p. 18-26 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11861 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Breast Cancer
Medical Image Analysis
Saliency Map
Screening
Classifiers

Graph Neural Networks for IceCube Signal Classification

Choma, N., Monti, F., Gerhardt, L., Palczewski, T., Ronaghi, Z., Prabhat, P., Bhimji, W., Bronstein, M., Klein, S. & Bruna Estrach, J., Jan 15 2019, Proceedings - 17th IEEE International Conference on Machine Learning and Applications, ICMLA 2018. Wani, M. A., Sayed-Mouchaweh, M., Lughofer, E., Gama, J. & Kantardzic, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 386-391 6 p. 8614089. (Proceedings - 17th IEEE International Conference on Machine Learning and Applications, ICMLA 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Neural networks
Sensors
Signal detection
Observatories
Convolution

Hostile Blockchain Takeovers

Bonneau, J., Jan 1 2019, Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Revised Selected Papers. Bracciali, A., Zohar, A., Clark, J., Sala, M., Eyal, I., Teague, V. & Pintore, F. (eds.). Springer-Verlag, p. 92-100 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10958 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Profitability
Decision making
Decentralized
Profit
Decision Making

Improved 3LIN hardness via linear label cover

Harsha, P., Khot, S., Lee, E. & Thiruvenkatachari, D., Sep 1 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2019. Achlioptas, D. & Vegh, L. A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 145).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Labels
Hardness
Polynomials

Learning assigned secrets for unlocking mobile devices

Schechter, S. & Bonneau, J., Jan 1 2019, SOUPS 2015 - Proceedings of the 11th Symposium on Usable Privacy and Security. USENIX Association, p. 277-295 19 p. (SOUPS 2015 - Proceedings of the 11th Symposium on Usable Privacy and Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer keyboards
Smartphones
Mobile devices
Experiments

Learning congestion state for mmWave channels

Ahmad, T., Iyer, S. R., Diez, L., Zaki, Y., Agüero, R. & Subramanian, L., Oct 7 2019, mmNets 2019 - Proceedings of the 3rd ACM Workshop on Millimeter-Wave Networks and Sensing Systems, co-located with MobiCom 2019. Association for Computing Machinery, p. 19-25 7 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unsupervised learning
Millimeter waves
Mobile devices
Communication

Low-Order Control Design using a Reduced-Order Model with a Stability Constraint on the Full-Order Model

Benner, P., Mitchell, T. & Overton, M., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3000-3005 6 p. 8619449. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reduced Order Model
Control Design
Controller
Controllers
Model Order Reduction

Millimeter-Wave Extended NYUSIM Channel Model for Spatial Consistency

Ju, S. & Rappaport, T., Feb 20 2019, 2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8647188. (2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter Wave
Channel Model
Millimeter waves
millimeter waves
Particle beam tracking

On the parallels between paxos and raft, and how to port optimizations

Wang, Z., Zhao, C., Mu, S., Chen, H. & Li, J., Jul 16 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 445-454 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Industry

Parallel computing at the undergraduate level: Lessons learned and insights

Zahran, M. & Berger, M. J., Jun 22 2019, Proceedings of the Workshop on Computer Architecture Education, WCAE 2019. Association for Computing Machinery, Inc, 3338889. (Proceedings of the Workshop on Computer Architecture Education, WCAE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Parallel processing systems
computer science
Computer science
Supercomputers
graduate

Position Locationing for Millimeter Wave Systems

Kanhere, O. & Rappaport, T., Feb 20 2019, 2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8647983. (2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter Wave
Data fusion
Ray tracing
Millimeter waves
millimeter waves

Propagation Measurement System and Approach at 140 GHz-Moving to 6G and above 100 GHz

Xing, Y. & Rappaport, T., Feb 20 2019, 2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8647921. (2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Measurement System
Propagation
propagation
broadband
Millimeter Wave

Reconstructing the MERS disease outbreak from news

Balashankar, A., Dugar, A., Subramanian, L. & Fraiberger, S., Jul 3 2019, COMPASS 2019 - Proceedings of the 2019 Conference on Computing and Sustainable Societies. Association for Computing Machinery, Inc, p. 272-280 9 p. (COMPASS 2019 - Proceedings of the 2019 Conference on Computing and Sustainable Societies).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pulmonary diseases
Health care
Time series

Reusable Non-Interactive Secure Computation

Chase, M., Dodis, Y., Ishai, Y., Kraschewski, D., Liu, T., Ostrovsky, R. & Vaikuntanathan, V., Jan 1 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Boldyreva, A. (eds.). Springer-Verlag, p. 462-488 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11694 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Secure Computation
Oblivious Transfer
Function evaluation
Network protocols
Linear Function

Rods and rings: Soft subdivision planner for ℝ3 × S2

Hsu, C. H., Chiang, Y-J. & Yap, C., Jun 1 2019, 35th International Symposium on Computational Geometry, SoCG 2019. Barequet, G. & Wang, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 129).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robots
Motion planning
Robotics
Innovation
Sampling

Root-Finding with Implicit Deflation

Imbach, R., Pan, V. Y., Yap, C., Kotsireas, I. S. & Zaderman, V., Jan 1 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. Vorozhtsov, E. V., Sadykov, T. M., Seiler, W. M., Koepf, W. & England, M. (eds.). Springer-Verlag, p. 236-245 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deflation
Root-finding
Polynomials
Roots
Polynomial Evaluation

Scattering Mechanisms and Modeling for Terahertz Wireless Communications

Ju, S., Shah, S. H. A., Javed, M. A., Li, J., Palteru, G., Robin, J., Xing, Y., Kanhere, O. & Rappaport, T., May 1 2019, 2019 IEEE International Conference on Communications, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8761205. (IEEE International Conference on Communications; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Scattering
Communication
Radar cross section
Radio waves
Ray tracing

Seedless Fruit Is the Sweetest: Random Number Generation, Revisited

Coretti, S., Dodis, Y., Karthikeyan, H. & Tessaro, S., Jan 1 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Boldyreva, A. (eds.). Springer-Verlag, p. 205-234 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11692 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random number generation
Random number Generation
Fruit
Fruits
Entropy

Sequential graph dependency parser

Welleck, S. & Cho, K., Jan 1 2019, International Conference on Recent Advances in Natural Language Processing in a Deep Learning World, RANLP 2019 - Proceedings. Angelova, G., Mitkov, R., Nikolova, I., Temnikova, I. & Temnikova, I. (eds.). Incoma Ltd, p. 1338-1345 8 p. (International Conference Recent Advances in Natural Language Processing, RANLP; vol. 2019-September).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Simple pattern-only heuristics lead to fast subgraph matching strategies on very large networks

Aparo, A., Bonnici, V., Micale, G., Ferro, A., Shasha, D., Pulvirenti, A. & Giugno, R., Jan 1 2019, Practical Applications of Computational Biology and Bioinformatics, 12th International Conference. Rocha, M., Mohamad, M. S., De Paz, J. F., Fdez-Riverola, F. & Gonzalez, P. (eds.). Springer-Verlag, p. 131-138 8 p. (Advances in Intelligent Systems and Computing; vol. 803).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computational complexity

Simulating Motion-Incorporating Spatial Consistency into NYUSIM Channel Model

Ju, S. & Rappaport, T., Apr 12 2019, 2018 IEEE 88th Vehicular Technology Conference, VTC-Fall 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8690738. (IEEE Vehicular Technology Conference; vol. 2018-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Channel Model
Impulse response
Simulators
Motion
Mobile telecommunication systems

Sluice: Network-wide data plane programming

Natesh, V., Kannan, P. G., Sivaraman, A. & Netravali, R., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 156-158 3 p. (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Supporting very large models using automatic dataflow graph partitioning

Wang, M., Huang, C. C. & Li, J., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303953. (Proceedings of the 14th EuroSys Conference 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tensors
Semantics
Data storage equipment
Communication
Graphics processing unit

The double ratchet: Security notions, proofs, and modularization for the signal protocol

Alwen, J., Coretti, S. & Dodis, Y., Jan 1 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Ishai, Y. & Rijmen, V. (eds.). Springer-Verlag, p. 129-158 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11476 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modularization
Security Proof
Ratchet
Cryptography
Text messaging

Towards Soft Exact Computation (Invited Talk)

Yap, C., Jan 1 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. Vorozhtsov, E. V., Sadykov, T. M., Seiler, W. M., Koepf, W. & England, M. (eds.). Springer-Verlag, p. 12-36 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Exact Computation
Exact Geometric Computation
Subdivision
Geometric Constraints
Zero set

UG-hardness to NP-hardness by losing half

Bhangale, A. & Khot, S., Jul 1 2019, 34th Computational Complexity Conference, CCC 2019. Shpilka, A. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 137).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardness

Vaccine: Using contextual integrity for data leakage detection

Shvartzshnaider, Y., Wies, T., Pavlinovic, Z., Lakshminarayanan, Mittal, P., Balashankar, A. & Nissenbaum, H., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1702-1712 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vaccines
Electronic mail
Syntactics
Ion exchange
Semantics

Verification and Calibration of Antenna Cross-Polarization Discrimination and Penetration Loss for Millimeter Wave Communications

Xing, Y., Kanhere, O., Ju, S., Rappaport, T. & MacCartney, G. R., Apr 12 2019, 2018 IEEE 88th Vehicular Technology Conference, VTC-Fall 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8690683. (IEEE Vehicular Technology Conference; vol. 2018-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Millimeter Wave
Millimeter waves
Penetration
Discrimination
Antenna

Watchtower: Fast, secure mobile page loads using remote dependency resolution

Netravali, R., Mickens, J., Sivaraman, A. & Balakrishnan, H., Jun 12 2019, MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 430-443 14 p. (MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dynamic models
Servers

“I was told to buy a software or lose my computer. I ignored it”: A study of ransomware

Simoiu, C., Gates, C., Bonneau, J. & Goel, S., Jan 1 2019, Proceedings of the 15th Symposium on Usable Privacy and Security, SOUPS 2019. USENIX Association, p. 155-174 20 p. (Proceedings of the 15th Symposium on Usable Privacy and Security, SOUPS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Risk assessment
Malware
Electronic money
2018

Abstract Interpretation of Stateful Networks

Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., Jan 1 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer-Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract Interpretation
Scalability
Vertex of a graph
Isolation
Polynomials

A Closer Look at Spatiotemporal Convolutions for Action Recognition

Tran, D., Wang, H., Torresani, L., Ray, J., LeCun, Y. & Paluri, M., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 6450-6459 10 p. 8578773. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sports
Convolution
Kinetics