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

Update on Z
May 7th, 2007 By alam78

AA, Nauman : Kindly see the link. http://kisogawa.inf.ethz.ch/cgi-bin/publications/search.cgi?ACTION=SEARCH&SORTBY=year&LANG=en&DISPLAY_RESULT_ONLY=yes&FIELD_01=author&REGEXP_01=wolff&DATABASE=bu:infsec:softech Let me know about your progress about Z. I am not a bit free and we...

Read All
LXR – Problem
May 4th, 2007 By shazkhan

Salams, The LXR instalation is completed. I studied 3 configuraions from different web sources. Everything went smoothly. The only problem is that apache is dumping silly faces with sourcecode. I dont know what to do there is no mailing list! If sir, Mr. MMA you can get someone who has already gone through...

Read All
Article download requested
May 4th, 2007 By recluze

A.A. I’m looking for a paper and it’s a Springer paper. If someone can get it downloaded and send it to me, it’d be appreciated. Relevance Feedback and Learning in Content-Based Image Search H Zhang, Z Chen, M Li, Z Su – World Wide Web, 2003 – Springer http://www.springerlink.com/index/Q60R04025231U578.pdf

Read All
Notification Management
May 3rd, 2007 By alam78

How one can manage to notify the audience of the blog with the emails about his comments. This means that if i write a comment, a mail is sent to the corresponding audiences regarding the comments? I have recently observed this functionality used by shahbaz. any Idea? Best, MA

Read All
Re: Update on Z
May 3rd, 2007 By alam78

AA every one, Nauman; what about the validation of the case studies given in the Z book, have you done those? You have not yet replied to my comment? busy in Tamleek sb marriage too Best, MA

Read All
Update on Z
April 30th, 2007 By recluze

A.A. everyone (whoever’s left here) I’ve almost finished the specification part of the OSL. (That’s chapter 2 in the DoCoMo document.) I’ve also created a complete (albeit simple) specification in Z and type checked it using ZETA. I’ll be uploading that pretty soon inshallah....

Read All
A trip to village
April 29th, 2007 By shazkhan

I am leaving for my village tomorow. LXR is at the moment stuck at cgi and apache problem. Apache picks up lxr stuff but does not process the cgi scripts rather prints it as html! I’ll see to it after I come back on wednessday. I am also planning to start working on my thesis. I cannot take more...

Read All

Hi everyone, Modern age has its own implications, benefits, and effects. We can shelter, but not 100% from these unwanted intrusions in our life. Regarding the gift pack for Tamleek’s sb wedding, i am thinking on a new pattern of Modern age. This would mean that instead of following the traditional...

Read All