Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Chetan
    Last name: Bansal
    DBLP: 47/9801
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 8 of 8  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dhruv Kumar Mahajan, Vishwajit Kolathur, Chetan Bansal, Suresh Parthasarathy, Sundararajan Sellamanickam, S. Sathiya Keerthi, Johannes Gehrke.
    Hashtag Recommendation for Enterprise Applications.
    Proceedings of the 25th ACM International Conference on Information and Knowledge Management, CIKM 2016, Indianapolis, IN, USA, October 24-28, 2016 2016 (0) 2016
    Journal article
    Rahul Kumar, Chetan Bansal, Jakob Lichtenberg.
    Static Analysis Using the Cloud.
    Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. 2016, Volume 228 (0) 2016
    Conference paper
    Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal.
    CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.
    Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Chetan Bansal, Sören Preibusch, Natasa Milic-Frayling.
    Cache Timing Attacks Revisited: Efficient and Repeatable Browser History, OS and Network Sniffing.
    ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis.
    Discovering concrete attacks on website authorization by formal analysis.
    Journal of Computer Security 2014, Volume 22 (0) 2014
    Conference paper
    Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis.
    Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage.
    Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis.
    Discovering Concrete Attacks on Website Authorization by Formal Analysis.
    25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012 2012 (0) 2012
    Conference paper
    Timothy K. Horiuchi, Chetan Bansal, Tarek M. Massoud.
    Binaural Intensity Comparison in the Echolocating Bat using Synaptic Conductance.
    International Symposium on Circuits and Systems (ISCAS 2009), 24-17 May 2009, Taipei, Taiwan 2009 (0) 2009
    Show item 1 to 8 of 8  

    Your query returned 8 matches in the database.