College/University/Organization
Name: National Engineering College
Organizing Department: Department of Computer Science and Engineering
Event Date: 2015-01-08 -- 2015-01-09
(YYYY/MM/DD)
Last Date: 2015-01-03 (YYYY/MM/DD)
Address: Kovilpatti, Tamilnadu, India
Registration Fee:
Registration fee 250/- per participant
Payment in DD drawn in favour of “The Principal, National Engineering College” payable at Kovilpatti along with the application form.
Payment in DD drawn in favour of “The Principal, National Engineering College” payable at Kovilpatti along with the application form.
College/University/Organization
Website: http://www.nec.edu.in/
Event Website / Brochure
link: http://www.nec.edu.in/pdf/cse/CRSI%20Brochure.pdf
Email Address: bparamasivan@yahoo.co.in
About Event:
- Formal specification of cryptographic protocols.
- Formal verification of cryptographic protocols.
- A formal language for cryptographic pseudo code.
- Formal certification of code based cryptographic proofs.
- Formal cryptographic protocol analysis tools
- Formalization of security properties.
- Role of trusted computing base in formal verification techniques.
- Application of formal methods for certification of secure system.
Eligibility:
Affiliated Engineering College Faculty and Research Scholars are eligible.
Post graduate students of CSE, ECE, IT and related disciplines are also eligible to attend the Instructional Workshop.
Contact Details:
Dr.B.Paramasivan
Convener
CRSI,Kolkata Sponsored Two Days Instructional Workshop on Formal Methods in Cryptography
Department of Computer Science and Engineering ,
National Engineering College,(Autonomous)
K.R.Nagar, Kovilpatti,
Thoothukkudi Dist.,
Tamilnadu.
PIN - 628 503
Phone : off: (04632) 222502
Mobile No: 94425 22764
E-mail : bparamasivan@yahoo.co.in
Website : www.nec.edu.in
Convener
CRSI,Kolkata Sponsored Two Days Instructional Workshop on Formal Methods in Cryptography
Department of Computer Science and Engineering ,
National Engineering College,(Autonomous)
K.R.Nagar, Kovilpatti,
Thoothukkudi Dist.,
Tamilnadu.
PIN - 628 503
Phone : off: (04632) 222502
Mobile No: 94425 22764
E-mail : bparamasivan@yahoo.co.in
Website : www.nec.edu.in
Tamilnadu college events, College events in tamilnadu,
Engineering college technical events in tamilnadu 2015, wokshop in tamilnadu 2015, workshop in tamilnadu
engineering college 2015, workshop in india 2015, workshop in kovilpatti 2015, workshop
in national engineering college 2015