I am a graduate student studying Computer Science
in the Automated Software
Engineering Research Group in North
Carolina State University. My advisor is Dr.
Tao Xie and my research interest is testing and verifying access
control policies. Here is my Curriculum Vitae.
Research Summary Report
I am working on the project,
Testing and
Verification of Security Policies funded
by
NSF CyberTrust
▪
Annual research summary report (Spring 2007 - Summer 2007)
▪ Annual
research summary report (Fall 2007 - Summer 2008)
▪ Annual
research summary report (Fall 2008 - Summer 2009)
Publications
Journals (1):
-
Model Checking for Verification of Mandatory Access Control Models and Properties. [PDF][BibTeX]
Vincent Hu, Richard Kuhn, Tao Xie, and JeeHyun Hwang.
To Appear
In International Journal of Software Engineering and Knowledge Engineering.
2010.
Conferences (5):
-
Fault Localization for Firewall Policies. [PDF][BibTeX]
JeeHyun Hwang, Tao Xie, Fei Chen, and
Alex X. Liu.
To Appear
In Proceedings of the 28th IEEE International Symposium on
Reliable Distributed Systems
(SRDS 2009),
Short Paper, Niagara Falls, New York, September 2009.
Acceptance rate: (23+7)/104 = 29%
-
Detection of
Multiple-Duty-Related Security Leakage in Access Control Policies.
[PDF][BibTex]
JeeHyun Hwang, Tao Xie, and Vincent C. Hu.
In Proceedings of the 3rd IEEE International Conference on
Secure Software Integration and Reliability Improvement (SSIRI
2009), Shanghai, China, July 2009.
Acceptance rate: 30/119 = 25%
-
Assessing Quality of Policy Properties in Verification of Access
Control Policies. [PDF][BibTeX]
Evan Martin,
JeeHyun Hwang, Tao Xie, and Vincent C. Hu.
In Proceedings
of the 24th Annual Computer Security Applications Conference
(ACSAC
2008), Anaheim, California, December 2008.
Acceptance rate: 42/173 = 24%
-
Systematic
Structural Testing of Firewall Policies. [PDF][BibTeX]
JeeHyun Hwang, Tao Xie, Fei Chen, and
Alex X. Liu.
In Proceedings of the 27th IEEE International Symposium on
Reliable Distributed Systems
(SRDS
2008), Napoli, Italy, October 2008.
Acceptance rate: 28/112 = 25%
-
XEngine: A Fast and
Scalable XACML Policy Evaluation Engine. [PDF][BibTeX]
Alex X. Liu, Fei Chen, JeeHyun Hwang, and Tao Xie.
In Proceedings
of the International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS
2008), Annapolis, Maryland, June 2008.
Acceptance rate: 36/201 = 18%
Workshops (2):
-
Multiple-Implementation Testing for XACML Implementations.[PDF][BibTeX]
Nuo Li, JeeHyun Hwang, and Tao Xie.
in Proceedings of the Workshop on Testing, Analysis and
Verification of Web Software
(TAV-WEB 2008), Seattle,
WA, July 2008.
-
Conformance
Checking of Access Control Policies Specified in XACML.[PDF][Slides][BibTeX]
Vincent C. Hu, Evan Martin, JeeHyun Hwang, and Tao Xie.
in Proceedings of the 1st IEEE International Workshop on Security in
Software Engineering
(IWSSE
2007), Beijing, China, July 2007.
Awards and Certifications
▪ Won 2009 ASE research silver award
▪ Mentoring an undergraduate student for the Research Experiences for
Undergraduates (REU) project.
Professional
Activities and Services
▪
Co-Reviewer, TAV-WEB 2008
▪
Co-Reviewer, ASE 2008
▪
Co-Reviewer, ICSM 2008
▪
Co-Reviewer, ISSTA 2008
▪
Co-Reviewer, ICST 2008
▪
Co-Reviewer, WWW 2009
Schedule - Fall 2009
▪
Monday/Wednesday/Friday 5:10pm - 5:25pm Scrum Meeting
▪ Every
Friday 03:30pm-05:00pm
ASE Group Meeting
▪
NCSU ASE's Calendar
▪
JeeHyun's Calendar
▪
Conferences
|
MON |
TUE |
WED |
THU |
FRI |
| 03:30 pm - 05:00 pm |
|
|
|
|
ASE
meeting |
| 05:10 pm - 05:25 pm |
Scrum |
|
Scrum |
|
Scrum |
MISC.
Links
▪
Automated Software Engineering Group@
NCSU:
▪ ASE Blog ▪ ASE wiki ▪ Group Meeting ▪ REU ▪ REU Blog
▪
NCSU related links:
▪ CSC
▪
Library ▪ My pack ▪ VCL ▪ RMIS ▪ Webmail ▪
WolfPrint ▪
AFS Email/Storage Space ▪
All
Campus Card ▪
CSC News ▪
CSC
Career Center ▪
Nomad
Registeration (NCSU)
▪ Conference related links: ▪ Software Engineering Conferences ▪
SE Conference Map
(both maintained by Dr. Xie)
|
