Welcome to our Site!

Security Engineering is a research group based in Peshawar, Pakistan specializing in security and service oriented architectures related areas. Our areas of focus are Remote attestation via Trusted Computing standards on ubiquitous and mobile platforms. Our research proposes behavioral paradigm for remote attestation. The purpose of this blog i...Read More

Isabelle/HOL Tutorial
July 15th, 2007 By recluze

Isabelle/HOL tutorial download link, especially for Mr. T: http://www4.in.tum.de/~nipkow/LNCS2283/tutorial.pdf See chapter 10 for Needham Shroeder Protocol case study.

Read All
New Blogging Tool
July 15th, 2007 By tamleek

Download firefox addon from the follwing link. ScribeFire (previously Performancing for Firefox) :: Firefox Add-ons Powered by ScribeFire.

Read All
Meeting Tomorrow at 10
July 14th, 2007 By recluze

A.A. everyone, Meeting tomorrow at 10AM in IMS. I’ll pick Amin up from his home at 9. Mr. T will be there in IMS at 10. Mr. MM: We can talk about our stuff after the meeting. That will solve the whole problem of internet too inshallah.

Read All

See the CFP here: http://ciitlahore.edu.pk/INMIC2007/call4p.html Please note: Full Paper Submission Deadline: Extended to 06 August, 2007 Notification of Acceptance: Extended to 26 th October, 2007 Final Manuscript: Extended to 12 th November, 2007 So, what’s the plan? Do we...

Read All

AOA all guys.. In April 2007 there wa an expo on WEB2.0… there were some really good things in it i just found these links.. some articles regarding security are good… must watch…. i am posting the links.. http://blogs.techrepublic.com.com/hiner/?p=447&tag=nl.e138 http://blogs.techrepublic.com.com/hiner/?cat=743 http://blogs.techrepublic.com.com/hiner/?p=439

Read All
Abstract Submitted
July 9th, 2007 By recluze

Dear everyone, I have made the submission of the abstract again to ICET 2007. I have received a confirmation this time. Everyone who submits the abstract and receives the confirmation, kindly post a comment here so that we can keep track of the submissions. p.s. Shaz: I have made the submission of...

Read All
For scholarships
July 6th, 2007 By alam78

http://www.rahber. org/scholarships /

Read All
TPM Manager for Linux released!
July 6th, 2007 By clickforamin

Ruhr-University Bochum and Sirrix AG have developed an open source application providing an easy to use graphical user interface to manage and configure a Trusted Platform Module (TPM). The TPM Manager can be used on PC systems equipped with a TPM that is supported by the Linux kernel. Users of such...

Read All