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

Abstract Smartphones with open operating systems are getting popular with the passage of time. Increased exposure of open source smartphones also increased the security risk.  Android is one of the most popular open source operating system for mobile platforms. Android provide a base set of permissions...

Read All

It is highly recommended that one should have at least a basic knowledge of Antlr, Lexer and Parsers, Tree Walker etc. For a light introduction of Antlr, Policy writing, Grammer or Lexer and Parsers etc and some operational basics please read our previous post at http://imsciences.edu.pk/serg/2010/07/antlr-introduction/ http://imsciences.edu.pk/serg/2010/07/setting-up-antlr-3-1-in-eclipse-3-5-for-windows/ The...

Read All
Implementation of SELinux on Openmoko
July 22nd, 2010 By alishinwari

This blog shows how to port SELinux on OpenMoko Neo Free Runner where we build the infrastructure for mobile platforms based on ARMv4t. It is based on the Linux kernel 2.6.24 and  run policy version 19 with support for Booleans. Most of the work is cross compilation with thorough understanding...

Read All

1.       Get eclipse from http://www.eclipse.org (version eclipse classic 3.5.1) 2.       Download ANTLR at http://www.antlr.org/download/html and click on “Complete ANTLR 3.2jar, all tools,runtime,etc” link 3.       After downloading antlr package create a folder named...

Read All
Antlr Introduction
July 21st, 2010 By mir.nauman

ANTLR, Another Tool for Language Recognition, is a language tool that provides a framework for constructing recognizers, interpreters, compilers, and translators from grammatical descriptions containing actions in a variety of target languages. Programmers usually use parser generators to build translators...

Read All

1.      Download the recovery image form the link below. Use this image in case of  recovering from a disaster. Recovery Image: signed-dream_devphone_userdebug-ota-14721.zip from http://developer.htc.com/adp.html 2.  Copy signed-dream_devphone_userdebug-ota-14721.zip to /source/ directory. 3. ...

Read All

Report-II (Android application framework and Security architecture) has been uploaded, and can be accessed at : http://imsciences.edu.pk/serg/wp-content/uploads/2010/05/Android-application-framework-and-security-architecture.pdf For any further info contact SERG at IMSciences Hayatabad. Comments and...

Read All
Report on VM internals and Dalvik VM
January 5th, 2010 By Engineer@IMS

A comprehensive report on “Virtual machines and Dalvik VM internals” is uploaded to EASIP resource section.  The report contains basics about a virtual machine and its functionality. It describes the Dalvik VM and its respective byte codes. A comparison between Dalvik and Java virtual machine...

Read All