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!
MMA has raised a good point which I would like to float here for discussion.
We’re currently calling ourselves “Security Engineering Group”. What if we move onto projects which are not directly related to Security. That would mean that our name is strictly restricted to security domain...
I have just joined Facebook. It looks like a much cleaner community than Orkut. I’ve found a new group about Isabelle there and have sent you guys an invitation. Join up if you feel like it. It can be a good resource for the future and for bringing together a nice group of researchers. http://www.facebook.com/group.php?gid=18553699736
Mathematical skills are absolutely necessary for every researcher, who want excel in the research domain. An example can be taken of a PhD student, asked to specify its approach mathematically. Further steps, in this area means, not only specification, but some how, advanced steps, like verification....
A.A. everyone,
As I informed you earlier through mail, we have a new joint account on Gmail for keeping all files/conversations in a single place. It’s better than Yahoo groups because a) Yahoo groups isn’t good for searching and b) because it doesn’t save files.
I’m trying...
Dear Group Members, I propose a group meeting on this Sunday. The agenda is the coming projects. Please comment! MM Alam
I have been wondering lately how we can develop a team of coders — expert coders — who can take our architecture and idea designs and implement it! The problem is, I have never worked on the kernel code. I would like to start a single post here in which we can get an outline of how a newbie...
I just saw the new interface of the blog, it seems ok but i cant find the “HOME” that i normally had on the blog page. Can you put that on the page or having another interface having Home tag in place. Thanx
Now, the world can know that we’re working with Isabelle. Check out Isabelle’s world map here. And Tobias Nipkow was here in Peshawar! In March. When I was working my head off trying to get to grips with Isabelle. That was a chance missed.