[TYPES/announce] PhD Position in Software Security at KTH Royal Institute of Technology

[Musard Balliu]

Dear all,

We are hiring a PhD student to work on application-database security. The
deadline for applying is March 22.

For details on the position see:*
https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:252922/where:4/
<https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:252922/where:4/>*

Best regards,

Musard

--
Musard Balliu
Assistant Professor
School of Electrical Engineering and Computer Science
KTH Royal Institute of Technology
Phone: +46 (0) 8 790 68 22
Web: www.csc.kth.se/~musard


*Project description*

Third-cycle subject: *Computer Science*

Modern computing systems are built with a large number of components, often
run on different platforms, written in multiple programming languages, and
protected by different defensive mechanisms. At the heart of these systems
often lie a database component and an application component. The database
component stores data from different sources, and regulates the access to
the data via Database Access Control. The application component consists of
software programs that interact with the database to perform useful
computation. A major roadblock in the path of securing database-backed
application is heterogeneity. Attacks across component boundaries like code
injection and sensitive data exposure exploit such heterogeneity to
compromise sensitive information.

In the face of complexity and heterogeneity of today’s systems, the
JointForce project, financed by the Swedish Research Council (VR), seeks to
develop new theories, defensive mechanisms, tools, and benchmarks for
securing systems across component boundaries. The doctoral student is aimed
at contributing to research in the area of application and database
security. The overall purpose of JointForce is to develop a common
foundation for database and application security, and to enable the
cross-pollination of methods and tools from these two areas.  The ideal
candidate should have strong interest and good knowledge in formal aspects
of programming languages, security, and verification.

The position will be supervised by Dr Musard Balliu (
http://www.csc.kth.se/~musard/) and Prof Dilian Gurov (
http://www.csc.kth.se/~dilian/). Musard's web page contains information
about related research and recent tools.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190302/a07379df/attachment.html>