Arnab Roy

发表

Simulation Based Verification using Temporally Attributed Boolean Logic

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

Analyzing Radar Meteor Trail Echoes using the Fresnel Transform Technique: A Signal Processing Viewpoint

Arnab Roy, John F. Doherty, John D. Mathews, 2007 .

A Spike Neural Network Design Approach to Reduce Parameters for Evolving Signal Classifiers

J. David Schaffer, Arnab Roy, Craig Laramee, 2014 .

A pipeline to characterize local cortical folds by mapping them to human-interpretable shapes

Arnab Roy, Tyler McMillen, Donielle L Beiler, 2020, bioRxiv.

Nyquist Pulse-Based Empirical Mode Decomposition and Its Application to Remote Sensing Problems

Arnab Roy, John F. Doherty, 2012 .

Aerodynamic Investigation of Smart Flying Wing MAV

Arnab Roy, Anup Ghosh, 2010 .

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols pdf

Joseph Y. Halpern, John C. Mitchell, Anupam Datta, 2015, ArXiv.

Computationally Sound Compositional Logic for Security Protocols

Vitaly Shmatikov, John C. Mitchell, Bogdan Warinschi, 2006 .

A framework for systematic validation and debugging of pipeline simulators

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2005, TODE.

Signal analysis using raised cosine empirical mode decomposition

Arnab Roy, 2011 .

Bus Karo 2.0 Case Studies from India

Arnab Roy, Manish Pandey, Priyanka Vasudevan, 2014 .

Protocol Composition Logic

John C. Mitchell, Anupam Datta, Arnab Roy, 2011, Formal Models and Techniques for Analyzing Security Protocols.

Simulation Based Verification using Temporally Attributed Boolean Logic

S. K. Panda, P. P. Chakrabarti, Rajeev Kumar, 2007, VLSI Design.

Energy detection analysis of hybrid cooperative relaying mode in cognitive radio network

Sunil Pattepu, Arnab Roy, Amlan Datta, 2017, 2017 International Conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud) (I-SMAC).

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols

John C. Mitchell, Anupam Datta, Arnab Roy, 2007, TGC.

An Automated Approach for Proving PCL Invariants

John C. Mitchell, Arnab Roy, Mukund Sundararajan, 2009, SecReT@LICS/CSF.

Integrated Access and Backhaul in 5G mmWave Networks: Potentials and Challenges

Michele Zorzi, Marco Giordani, Arnab Roy, 2019, ArXiv.

Inductive Proofs of Computational Secrecy

John C. Mitchell, Anupam Datta, Arnab Roy, 2007, ESORICS.

Simple Design Rules for Spike Neural Network Based General Purpose Networks

J. David Schaffer, Arnab Roy, Craig Laramee, 2012 .

Protocol Composition Logic (PCL)

John C. Mitchell, Anupam Datta, Arnab Roy, 2007, Computation, Meaning, and Logic.

A multi-criterion partner selection problem for virtual manufacturing enterprises under uncertainty

Bin Huang, Arnab Roy, Ningning Ma, 2018 .

Analysis of EAP-GPSK Authentication Protocol

John C. Mitchell, Andre Scedrov, Arnab Roy, 2008, ACNS.

Secrecy Analysis in Protocol Composition Logic

Jean-Pierre Seifert, John C. Mitchell, Anupam Datta, 2006, ASIAN.

Inductive trace properties for computational security

John C. Mitchell, Anupam Datta, Arnab Roy, 2010, J. Comput. Secur..

Energy detection Analysis of Cluster based Cooperative Spectrum Sensing in Cognitive Relay Network

Sunil Pattepu, Arnab Roy, Amlan Datta, 2017 .

Inductive Proof Method for Computational Secrecy

John C. Mitchell, Anupam Datta, Arnab Roy, 2007, IACR Cryptol. ePrint Arch..

Operational Semantics for DKAL: Application and Analysis

Yuri Gurevich, Arnab Roy, 2009, TrustBus.

Evolving spike neural network based spatio-temporal pattern classifiers with an application to identifying the alcoholic brain

Arnab Roy, 2014 .

Improved signal analysis performance at low sampling rates using raised cosine empirical mode decomposition

Arnab Roy, John F. Doherty, 2010 .

Automated classification of pain perception using high-density electroencephalography data.

Arnab Roy, Derek B Archer, Stephen A Coombes, 2017, Journal of neurophysiology.

Raised cosine filter-based empirical mode decomposition

Arnab Roy, John F. Doherty, 2011 .

Characterization of enhanced antibacterial effects of novel silver nanoparticles

Arnab Roy, Tanmay Bera, Debabrata Dash, 2007, Nanotechnology.

Functional characterization of the rice kaurene synthase-like gene family.

Arnab Roy, Meimei Xu, Dana J Morrone, 2007, Phytochemistry.

The evolution of cost-efficiency in neural networks during recovery from traumatic brain injury

Frank G. Hillary, Arnab Roy, Jerry J. French, 2017, PloS one.