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
Welcome to our Site!
Cambridge university technical report on: Active privilege management for distributed access control systems It isn’t strictly related to our work but it has some detailed discussion of access control related work.
The ACM Plagiarism policy: http://www.acm.org/pubs/plagiarism%20policy.html
Knoppix for Trusted Computing with TPM Manager The latest release of the Linux distribution Knoppix now supports Trusted Computing with TPM (Trusted Platform Module). Therefore the new Knoppix 5.1.1 includes the latest release of Sirrix TPM Manager to provide complete GUI control over the TPM. Ruhr-University...
Security Conferences and Symposiums-2008 And Onwards!
December 19th, 2007 By
clickforamin
AOA
Here is the security in 21 minutes.
Security Groups on the Web
http://www.cs.vu.nl/~crispo/security/wwwaddr.html
People Working on Security and Cryptography
http://www.cs.vu.nl/~crispo/security/people.html
here are the links to all (most probably) major upcoming Security conferences or symposiums…...
The following link presents some philosophical jewels (novel approach) about study of mind and reality by professor shaz. http://shazkhan.wordpress.com/2007/12/18/mental-slavery/ I hope you like it.
I don’t mean to be rude but IEEE has done it this time. I was wondering why their publication styles are so typographically ugly but at least that could be justified. Now, they’ve come up with a “new” computer.org home page and … well, just take a look at it:
http://www2.computer.org/portal/web/guest
That’s...
LEO-II is a standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments of higher-order logic such as first-order and propositional logic. Currently LEO-II cooperates with the first-order automated theorem...
UML book and diagrams for creating presentations. See my blog.