Apurva Kumar

According to our database, Apurva Kumar authored at least 20 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020

2019

A Verification Framework of Neural Processing Unit for Super Resolution.

Jinsae Jung, Jaeun Park, Apurva Kumar

Proceedings of the 20th International Workshop on Microprocessor/SoC Test, 2019

2018

Double-Blind Consent-Driven Data Sharing on Blockchain.

Kumar Bhaskaran, Peter Ilfrich, Dain Liffman, Christian Vecchiola, Praveen Jayachandran, Apurva Kumar, Fabian Lim, Karthik Nandakumar, Zhengquan Qin, Venkatraman Ramakrishna, Ernie G. S. Teo, Chun Hui Suen

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2015

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.

Stefan Gruner, Apurva Kumar, Tom Maibaum

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

A Lightweight Formal Approach for Analyzing Security of Web Protocols.

Apurva Kumar

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

2012

A Belief Logic for Analyzing Security of Web Protocols.

Apurva Kumar

Proceedings of the Trust and Trustworthy Computing - 5th International Conference, 2012

Privacy Preserving Social Mobile Applications.

Venkatraman Ramakrishna, Apurva Kumar, Sougata Mukherjea

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2012

Geometry directed browser for personal photographs.

Aditya Deshpande, Siddharth Choudhary, P. J. Narayanan, Krishna Kumar Singh, Kaustav Kundu, Aditya Singh, Apurva Kumar

Proceedings of the Eighth Indian Conference on Vision, Graphics and Image Processing, 2012

Managing trust and secrecy in identity management clouds.

Apurva Kumar

Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

Using automated model analysis for reasoning about security of web protocols.

Apurva Kumar

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

Model Driven Security Analysis of IDaaS Protocols.

Apurva Kumar

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2008

Integrated Security Context Management of Web Components and Services in Federated Identity Environments.

Apurva Kumar

Proceedings of the Service-Oriented Computing, 2008

2007

Efficient Filter Based Replication for LDAP Directories.

Apurva Kumar

Proceedings of the 23rd International Conference on Data Engineering, 2007

2005

Filter Based Directory Replication and Caching: Algorithms and Performance.

Apurva Kumar

Proceedings of the 21st International Conference on Data Engineering, 2005

Filter Based Directory Replication: Algorithms and Performance.

Apurva Kumar

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

2003

Edge Caching for Directory Based Web Applications.

Apurva Kumar, Rajeev Gupta

Proceedings of the Web Content Caching and Distribution, 8th International Workshop, 2003

2001

Performance of network formation and scheduling algorithms in the Bluetooth wireless ad-hoc network.

Apurva Kumar, Lakshmi Ramachandran, Rajeev Shorey

J. High Speed Networks, 2001

Capacity evaluation of frequency hopping based ad-hoc systems.

Apurva Kumar, Rajeev Gupta

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

MAC scheduling policies with reduced power consumption and bounded packet delays for centrally controlled TDD wireless networks.

Indraneel Chakraborty, Abhishek Kashyap, Apurva Kumar, Anupam Rastogi, Huzur Saran, Rajeev Shorey

Proceedings of the IEEE International Conference on Communications, 2001

2000

Mobility modeling of rush hour traffic for location area design in cellular networks.

Apurva Kumar, M. N. Umesh, Rajesh Jha

Proceedings of the Third ACM International Workshop on Wireless Mobile Multimedia, 2000