Security Engineering Research Group

Paper(s) Status

A.A. everyone,

I have almost completed my paper (in the correct format). Due to some problem with Isabelle’s document generation, I still have to port the code to Kile and insert references there but otherwise, my work is almost finished. I only have to write the introduction to the paper. The formalization is complete, the examples are in, the introductions are done.

Amin and Shaz: I would appreciate it if you guys can post information regarding your status/progress with the papers. Let’s keep this post alive until the conference. We have very little time and as I understand it, shaz has still some work to do.

Urgent Download!

AOA
Mr. TT and nauman sb…

KLINUX
A Linux distribution that can be installed within MS-Windows, without partitioning or formatting.A comprehensive Linux system which comes in 570 MB ISO image ready to burn to one CD-ROM and can be installed from MS-Windows(XP,2000,Me,9x) by few clicks without partitioning , formatting or changing bootloader for your disk.]

http://www.soft32.com/download_123731.html

I dont have the required bandwidth… kindly download it …..its a freeware.

amin.

FOR MASOOM SAHAB!

AOA
sir g i need some papers. and i have mailed the links to ur gmail account kindly …i need those paper soon from ur side..
bye.
amin.

Tables with LaTeX

For Amin: Take a look:

Using Tables with LaTeX « recluze:
http://recluze.wordpress.com/2007/07/15/using-bibtex-for-references/

Isabelle/HOL Tutorial

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.

New Blogging Tool

Download firefox addon from the follwing link.

ScribeFire (previously Performancing for Firefox) :: Firefox Add-ons

Powered by ScribeFire.

Meeting Tomorrow at 10

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.

INMIC 2007 Call for Papers (CFP)

See the CFP here:

http://ciitlahore.edu.pk/INMIC2007/call4p.html

Please note:

So, what’s the plan? Do we still target the ICET2007 or do we submit the full papers to INMIC? I believe INMIC Is a better conference but that just reduces our chances of getting accepted. Comments please.

Sanity check: Can the Vidoop visual grid replace password authentication?

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

Abstract Submitted

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 the folksonomy paper 2 as well. We’ll see how it goes.