HTC (the guys who built the first Android phone for T-Mobile) have released a new Android-based smartphone called Hero. It’s an amazing piece of technology and looks really cute. We’ll be trying to get our hands on this one but only if it’s not SIM-locked. Not likely, since HTC is a...
Archive by category 'Ideas'
[These are comments to the paper titled, "From Trusted to Secure: Building and Executing Applications That Enforce System Security" available at USENIX ATC'07.]
The paper deals with the issue of differences between security enforcement on the operating system level and within applications. It describes...
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.
What is Google Summer of Code?
Google Summer of CodeTM is a program that offers student developers stipends to write code for various open source projects. Google will be working with a several open source, free software and technology-related groups to identify and fund several projects over a three...
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 come across some talks about enabling selinux to achieve resource utilization using rbac. This sounds as a good research area. Do we have anyone to handle this.
A.A. everyone.
Mr. MM: I was talking to Shahbaz yesterday and we talked about what research area I’m planning to pursue. I told him that I’ve been working with different sorts of things (web search etc) because I needed some publications. Now that I have some publications, I need to pick...
As soon as I am over with Recluze, I am going to start working with IPSec and SELinux now that my literature survey is complete (I think so). Next I plan to get some help from MR. MMA to let me in on his findings regarding how to stack IMA on SELinux.
I personally think using TPM’s PCR will be...
Its fresh and decent. Check it out? Can anyone tell me how I can submit same posts to both the blogs mine and this one with one go? Hmm.
A.A. For the meeting of wednesday, here’s the agenda: An introduction to Isabelle An introduction to HOL An introduction to Formal Verification Process This is mostly for the benefit of Mr. T and for my own review. I have the CSMR slides in binded form so those should be a big help.