Center for Information Technology Policy

Filter
Conference contribution

Search results

  • 2012

    A certificate infrastructure for machine-checked proofs of conditional information flow

    Amtoft, T., Dodds, J., Zhang, Z., Appel, A., Beringer, L., Hatcliff, J., Ou, X. & Cousino, A., 2012, Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 369-389 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7215 LNCS).

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

    17 Scopus citations
  • Adaptive usage of cellular and WiFi bandwidth: An optimal scheduling formulation

    Yetim, O. B. & Martonosi, M. R., 2012, CHANTS'12 - 7th ACM International Workshop on Challenged Networks. p. 69-72 4 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

    15 Scopus citations
  • A formally-verified migration protocol for mobile, multi-homed hosts

    Arye, M., Nordström, E., Kiefer, R., Rexford, J. L. & Freedman, M. J., Dec 1 2012, 2012 20th IEEE International Conference on Network Protocols, ICNP 2012. 6459961. (Proceedings - International Conference on Network Protocols, ICNP).

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

    14 Scopus citations
  • A new approach to interdomain routing based on secure multi-party computation

    Gupta, D., Segal, A., Panda, A., Segev, G., Schapira, M., Feigenbaum, J., Rexford, J. L. & Shenker, S., 2012, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-11. Association for Computing Machinery, p. 37-42 6 p. (Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-11).

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

    36 Scopus citations
  • Architectural support for hypervisor-secure virtualization

    Szefer, J. & Lee, R. B., 2012, ASPLOS XVII - 17th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 437-449 13 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    104 Scopus citations
  • A software-hardware architecture for self-protecting data

    Chen, Y. Y., Jamkhedkar, P. A. & Lee, R. B., 2012, CCS'12 - Proceedings of the 2012 ACM Conference on Computer and Communications Security. p. 14-27 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    45 Scopus citations
  • Building technologies that help cyber-defense: Hardware-enabled trust

    Vishik, C., Lee, R. B. & Chong, F., 2012, ISSE 2012 Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2012 Conference. p. 316-325 10 p. (ISSE 2012 Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2012 Conference).

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

    1 Scopus citations
  • Design for X? Distribution choices and ethical design

    Goodman, E. & Vertesi, J., 2012, Extended Abstracts - The 30th ACM Conference on Human Factors in Computing Systems, CHI 2012. p. 81-90 10 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

    7 Scopus citations
  • Distributed wide-area traffic management for cloud services

    Narayana, S., Jiang, J. W., Rexford, J. L. & Chiang, M., 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 409-410 2 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

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

    6 Scopus citations
  • EPROF: An energy/performance/reliability optimization framework for streaming applications

    Yetim, Y., Malik, S. & Martonosi, M., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 769-774 6 p. 6165058. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

    12 Scopus citations
  • Hardware enhanced security

    Lee, R., Sethumadhavan, S. & Suh, G. E., 2012, CCS'12 - Proceedings of the 2012 ACM Conference on Computer and Communications Security. p. 1052 1 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    3 Scopus citations
  • Human mobility modeling at metropolitan scales

    Isaacman, S., Becker, R., Cáceres, R., Martonosi, M. R., Rowland, J., Varshavsky, A. & Willinger, W., Aug 1 2012, MobiSys'12 - Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. p. 239-251 13 p. (MobiSys'12 - Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services).

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

    192 Scopus citations
  • Integration of butterfly and inverse butterfly nets in embedded processors: Effects on power saving

    Cardarilli, G. C., Di Nunzio, L., Fazzolari, R., Re, M. & Lee, R. B., 2012, Conference Record of the 46th Asilomar Conference on Signals, Systems and Computers, ASILOMAR 2012. p. 1457-1459 3 p. 6489268. (Conference Record - Asilomar Conference on Signals, Systems and Computers).

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

    18 Scopus citations
  • LIFEGUARD: Practical repair of persistent route failures

    Katz-Bassett, E., Scott, C., Choffnes, D. R., Cunha, I., Valancius, V., Feamster, N., Madhyastha, H. V., Anderson, T. & Krishnamurthy, A., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 395-406 12 p. (Computer Communication Review; vol. 42, no. 4).

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

    15 Scopus citations
  • LIFEGUARD: Practical repair of persistent route failures

    Katz-Bassett, E., Scott, C., Choffnes, D. R., Cunha, Í., Valancius, V., Feamster, N., Madhyastha, H. V., Anderson, T. & Krishnamurthy, A., 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 395-406 12 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

    Open Access
    63 Scopus citations
  • Network cooperation for client-AP association optimization

    Baid, A., Schapira, M., Seskar, I., Rexford, J. L. & Raychaudhuri, D., Oct 5 2012, 2012 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, WiOpt 2012. p. 431-436 6 p. 6260496. (2012 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, WiOpt 2012).

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

    18 Scopus citations
  • Observing common spam in Twitter and email

    Lumezanu, C. & Feamster, N., 2012, IMC 2012 - Proceedings of the ACM Internet Measurement Conference. p. 461-466 6 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    Open Access
    15 Scopus citations
  • On the feasibility of internet-scale author identification

    Narayanan, A., Paskov, H., Gong, N. Z., Bethencourt, J., Stefanov, E., Shin, E. C. R. & Song, D., 2012, Proceedings - 2012 IEEE Symposium on Security and Privacy, S and P 2012. Institute of Electrical and Electronics Engineers Inc., p. 300-314 15 p. 6234420. (Proceedings - IEEE Symposium on Security and Privacy).

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

    184 Scopus citations
  • Optimizing the use of request distribution and stored energy for cost reduction in multi-site internet services

    Etinski, M., Martonosi, M., Le, K., Bianchini, R. & Nguyen, T. D., 2012, 2012 Sustainable Internet and ICT for Sustainability, SustainIT 2012. 6388008. (2012 Sustainable Internet and ICT for Sustainability, SustainIT 2012).

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

    5 Scopus citations
  • Performance isolation and fairness for multi-tenant cloud storage

    Shue, D., Freedman, M. J. & Shaikh, A., Jan 1 2012, Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. USENIX Association, p. 349-362 14 p. (Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012).

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

    194 Scopus citations
  • Physical attack protection with human-secure virtualization in data centers

    Szefer, J., Jamkhedkar, P., Chen, Y. Y. & Lee, R. B-L., Dec 1 2012, 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012. 6264664. (Proceedings of the International Conference on Dependable Systems and Networks).

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

    7 Scopus citations
  • Policy transformation in software defined networks

    Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 309-310 2 p. (Computer Communication Review; vol. 42, no. 4).

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

    6 Scopus citations
  • Procera: A language for high-level reactive network control

    Voellmy, A., Kim, H. & Feamster, N., 2012, HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. 43-48 6 p. (HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks).

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

    177 Scopus citations
  • Re-wiring activity of malicious networks

    Konte, M. & Feamster, N., 2012, Passive and Active Measurement - 13th International Conference, PAM 2012, Proceedings. p. 116-125 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7192 LNCS).

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

    3 Scopus citations
  • Security verification of hardware-enabled attestation protocols

    Zhang, T., Szefer, J. & Lee, R. B., Dec 1 2012, Proceedings - 2012 IEEE/ACM 45th International Symposium on Microarchitecture Workshops, MICROW 2012. p. 47-54 8 p. 6472491. (Proceedings - 2012 IEEE/ACM 45th International Symposium on Microarchitecture Workshops, MICROW 2012).

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

    1 Scopus citations
  • Stargazer: Automated regression-based GPU design space exploration

    Jia, W., Shaw, K. A. & Martonosi, M., 2012, ISPASS 2012 - IEEE International Symposium on Performance Analysis of Systems and Software. p. 2-13 12 p. 6189201. (ISPASS 2012 - IEEE International Symposium on Performance Analysis of Systems and Software).

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

    65 Scopus citations
  • The geomorphic view of networking: A network model and its uses

    Zave, P. & Rexford, J. L., Dec 31 2012, Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012. (Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012).

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

    2 Scopus citations
  • Toward software-defined cellular networks

    Li, L. E., Mao, Z. M. & Rexford, J. L., Dec 1 2012, Proceedings - European Workshop on Software Defined Networks, EWSDN 2012. p. 7-12 6 p. 6385040. (Proceedings - European Workshop on Software Defined Networks, EWSDN 2012).

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

    307 Scopus citations
  • User-driven dynamic traffic prioritization for home networks

    Martin, J. & Feamster, N., Sep 28 2012, W-MUST'12 - ACM Proceedings of the Workshop on Measurements Up and Down the Stack. p. 19-23 5 p. (W-MUST'12 - ACM Proceedings of the Workshop on Measurements Up and Down the Stack).

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

    15 Scopus citations
  • Verified heap theorem prover by paramodulation

    Stewart, G., Beringer, L. & Appel, A. W., 2012, ICFP'12 - Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming. p. 3-14 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

    5 Scopus citations
  • 2011

    A case for hardware protection of guest VMs from compromised hypervisors in cloud computing

    Szefer, J. & Lee, R. B., Sep 9 2011, Proceedings - 31st International Conference on Distributed Computing Systems Workshops, ICDCSW 2011. p. 248-252 5 p. 5961523. (Proceedings - International Conference on Distributed Computing Systems).

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

    26 Scopus citations
  • BGP safety with spurious updates

    Suchara, M., Fabrikant, A. & Rexford, J., 2011, 2011 Proceedings IEEE INFOCOM. p. 2966-2974 9 p. 5935137. (Proceedings - IEEE INFOCOM).

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

    12 Scopus citations
  • Boosting the scalability of botnet detection using adaptive traffic sampling

    Zhang, J., Luo, X., Perdisci, R., Gu, G., Lee, W. & Feamster, N., 2011, Proceedings of the 6th International Symposium on Information, Computer and Communications Security, ASIACCS 2011. p. 124-134 11 p. (Proceedings of the 6th International Symposium on Information, Computer and Communications Security, ASIACCS 2011).

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

    27 Scopus citations
  • Brief announcement: Bridging the theory-practice gap in multi-commodity flow routing

    Sen, S., Ihm, S., Ousterhout, K. & Freedman, M. J., Nov 2 2011, Distributed Computing - 25th International Symposium, DISC 2011, Proceedings. p. 205-207 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6950 LNCS).

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

  • Broadband Internet performance: A view from the gateway

    Sundaresan, S., De Donato, W., Feamster, N., Teixeira, R., Crawford, S. & Pescapè, A., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 134-145 12 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    223 Scopus citations
  • Bubble trouble: Off-line de-anonymization of bubble forms

    Calandrino, J. A., Clarkson, W. & Felten, E. W., 2011, Proceedings of the 20th USENIX Security Symposium. USENIX Association, p. 267-280 14 p. (Proceedings of the 20th USENIX Security Symposium).

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

    4 Scopus citations
  • Bubble trouble: Off-line de-anonymization of bubble forms

    Calandrino, J. A., Clarkson, W. & Felten, E. W., Jan 1 2011, Proceedings of the 20th USENIX Security Symposium. USENIX Association, p. 267-280 14 p. (Proceedings of the 20th USENIX Security Symposium).

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

  • Characterization and dynamic mitigation of intra-application cache interference

    Wu, C. J. & Martonosi, M. R., 2011, ISPASS 2011 - IEEE International Symposium on Performance Analysis of Systems and Software. p. 2-11 10 p. 5762710. (ISPASS 2011 - IEEE International Symposium on Performance Analysis of Systems and Software).

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

    40 Scopus citations
  • Coercing clients into facilitating failover for object delivery

    Lloyd, W. & Freedman, M. J., 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011. p. 157-168 12 p. 5958215. (Proceedings of the International Conference on Dependable Systems and Networks).

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

    1 Scopus citations
  • Communicating with caps: Managing usage caps in home networks

    Kim, H., Sundaresan, S., Chetty, M., Feamster, N. & Edwards, W. K., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 470-471 2 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    21 Scopus citations
  • Consistent updates for software-defined networks: Change you can believe in!

    Reitblatt, M., Foster, N., Rexford, J. L. & Walker, D. P., Dec 19 2011, Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10. (Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10).

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

    148 Scopus citations
  • Distributed collaborative filtering over social networks

    Isaacman, S., Ioannidis, S., Chaintreau, A. & Martonosi, M., 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011. p. 1136-1142 7 p. 6120295. (2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011).

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

  • Distributed rating prediction in user generated content streams

    Isaacman, S., Ioannidis, S., Chaintreau, A. & Martonosi, M. R., 2011, RecSys'11 - Proceedings of the 5th ACM Conference on Recommender Systems. p. 69-76 8 p. (RecSys'11 - Proceedings of the 5th ACM Conference on Recommender Systems).

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

    25 Scopus citations
  • Don't settle for eventual: Scalable causal consistency for wide-area storage with COPS

    Lloyd, W., Freedman, M. J., Kaminsky, M. & Andersen, D. G., 2011, SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles. p. 401-416 16 p. (SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles).

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

    391 Scopus citations
  • Eliminating the hypervisor attack surface for a more secure cloud

    Szefer, J., Keller, E., Lee, R. B-L. & Rexford, J. L., 2011, CCS'11 - Proceedings of the 18th ACM Conference on Computer and Communications Security. p. 401-412 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    208 Scopus citations
  • Frenetic: A network programming language

    Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 279-291 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

    202 Scopus citations
  • FSR: Formal analysis and implementation toolkit for safe inter-domain routing

    Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A. J. T., Loo, B. T. & Rexfordz, J., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 440-441 2 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    7 Scopus citations
  • Going viral: Flash crowds in an open CDN

    Wendell, P. & Freedman, M. J., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 549-557 9 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    55 Scopus citations
  • Helping users shop for ISPs with internet nutrition labels

    Sundaresan, S., Feamster, N., Teixeira, R., Tang, A., Edwards, W. K., Grinter, R. E., Chetty, M. & De Donato, W., 2011, Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11. p. 13-18 6 p. (Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11).

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

    Open Access
    15 Scopus citations
  • How many tiers? Pricing in the internet transit market

    Valancius, V., Lumezanu, C., Feamster, N., Johari, R. & Vazirani, V. V., Sep 29 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 194-205 12 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    96 Scopus citations