38 citations · 73 across the 3 of their papers we have counts for
3 papers
PFMC: a parallel symbolic model checker for security protocol verification
Alex James, Alwen Tiu, Nisansala Yatapanage
We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, wh…
Threshold Logic Computing: Memristive-CMOS Circuits for Fast Fourier Transform and Vedic Multiplication
Alex Pappachen James, Dinesh S. Kumar, Arun Ajayan
Brain inspired circuits can provide an alternative solution to implement computing architectures taking advantage of fault tolerance and generalisation ability of logic gates. In t…
Memristive Threshold Logic Circuit Design of Fast Moving Object Detection
Akshay Kumar Maan, Dinesh Sasi Kumar, Sherin Sugathan +1
Real-time detection of moving objects involves memorisation of features in the template image and their comparison with those in the test image. At high sampling rates, such techni…