Security Engineering Research Group

‘Model-based Behavioral Attestation’ is Online

SACMAT’08 Proceedings have been posted online at ACM. Visit here to see our “Model-based Behavioral Attestation Framework”.

ARM links with Trusted Logic for secure mobiles, set tops

ARM Ltd. has teamed with Trusted Logic to develop secure software for mobile handsets and set-top boxes that will combine the microprocessor core maker’s TrustZone technology with optimized security software from Trusted Logic…..

Embedded.com - ARM links with Trusted Logic for secure mobiles, set tops:

amin.

Moved to IMSciences Host

After officially getting a home in IMSciences, Peshawar, we’ve moved our blog/website to IMS host. We’re now living at http://serg.imsciences.edu.pk.

Portable Local WebServer with Apache, SQL, PHP and Applications for Windows

This is a cool Portable device…with a great range of support for portable devices locally and on the web….

follow the link.

Portable Local WebServer with Apache, SQL, PHP and Applications for Windows » Raymond.CC Blog:

amin.

Security Conferences and Symposiums-2008 And Onwards!

AOA

Here is the security in 21 minutes.

Security Groups on the Web

1. http://www.cs.vu.nl/~crispo/security/wwwaddr.html

People Working on Security and Cryptography

1. http://www.cs.vu.nl/~crispo/security/people.html

here are the links to all (most probably) major upcoming Security conferences or symposiums… i found it interesting so posting these links…. please note that i found some very good info. in some of the links.

here goes the links:

1. Goingtomeet.com: Conventions:
2. http://flame.cs.dal.ca/~gates/conferences.html
3. http://www.cs.vu.nl/~crispo/security/conf.html

Some Conference Rankings and there statistics…!

How to judge how good a conference is?

1. http://www-static.cc.gatech.edu/~guofei/sec_conf_stat.htm

follow the link
by these links i mean to be aligned with international community and to keep up our work accordingly. some very good symposiums and conferences are approaching that can be very helpful from audience and exposure point of view. some deadlines are dead close please take care of it.

amin.

LEO II

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 provers E, SPASS, and Vampire.

LEO-II is implemented in Objective CAML (Version 3.09) and its problem representation language is TPTP THF.

The development of LEO-II has been supported by the EPRSC grant EP/D070511/1 at Cambridge University, England.

Source: http://www.ags.uni-sb.de/~chris/leo/index.html
—————

I post this here for two reasons. First, the LEO team includes Larry Paulson. So, this will have some connections with Isabelle.

Secondly, take a look at the EPRSC grant page. It can guide us in writing our own project grant information page.

Updates

Updates on the group:

1. The group leader, Masoom Alam is back from Austria after completing his PhD. Now, we should be getting better communication and less noise in the group.

2. Our paper on formalization of UML and OCL meta-model has been accepted at INMIC 2007. We’ll be posting the theory file online soon.