Ph.D. Candidate
Department of Computer Science
The University of Texas at Austin
Email:
wjyu AT cs DOT utexas DOT edu
Office:
ACES 5SEo3C
Telephone: (512) 232-7483
RTS Lab:
Taylor Hall 5.112
Telephone: (512) 471-9575
Research Interests
My research interest lies in language security, distributed and parallel
computing, resource safety of mobile devices, and formal verification. In
particular, I am interested in exploring aspects of security architectures for
both software development and execution environments of mobile computing. My
dissertation research is focused on the resource bounds security: the
execution of untrusted programs is free from security policy violations of
resource bounds. To this end, I have developed TINMAN, a resource usage bound
safety checking system for mobile code, and applied it to a variety of
platforms. My research work combines programming language analysis, theorem
proving, security policy and run-time monitoring, yielding a comprehensive
security system.
I am a member of Real-Time Systems Group, supervised by Prof. Aloysius K. Mok.
Publications
- Jianliang Yi, Weijiang Yu, Aloysius K. Mok.
"Resource Bound Safety in Grid Computing",
In Proceedings of IEEE International Symposium on Secure Software Engineering (ISSSE 06 - IEEE), Arlington, Virginia, March 2006
- Weijiang Yu, Aloysius K. Mok.
"Formal Specification and Verification
of Resource Bound Security Using PVS",
ps.gz pdf
In Proceedings of International Symposium on Software Security, Tokyo, Japan,
November, 2003, pp 113-133, Springer LNCS Volume 3233, 2004
- Weijiang Yu, Aloysius K. Mok.
"Enforcing Resource Bound Safety for
Mobile SNMP Agents",
ps.gz pdf
In Proceedings of 18th Annual Computer Security
Applications Conference (ACSAC), pp 69-77, Las Vegas, Nevada, December, 2002
*Student Conferenceship Award
*Nominated for Best Student Paper Award
- Aloysius K. Mok, Weijiang Yu.
"TINMAN: A Resource Bound Security
Checking System for Mobile Code", ps.gz pdf
In Proceedings of 7th European Symposium
on Research in Computer Security (ESORICS 2002), Zurich, Switzerland, pp 178-193, Springer LNCS Volume 2502, October, 2002
- Weijiang Yu, Aloysius K. Mok.
"A Framework for Resource Security
in Mobile Computing",
In Proceedings of ISCA the 15th International
Conference on Parallel and Distributed Computing Systems (PDCS'02),
Louisville, KY September, 2002
- Jianchen Du, Weijiang Yu, Daoxu Chen and Li Xie.
"Hyperplane-based Block Data Distributed Strategy",
In Journal of Software, China, Vol.10 No.5, pp 496-502, 1999
- Weijiang Yu, Genjiang Zhu and Li Xie.
"A Framework of Interprocedual Data Flow Analysis",
In Journal of Software, China, Vol.8 No.9, pp 653-662, 1997