Fingerprint Dive into the research topics where SCDT School Executive Team is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Virtual reality Engineering & Materials Science
Planning Engineering & Materials Science
Engines Engineering & Materials Science
Specifications Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Semantics Engineering & Materials Science
Augmented reality Engineering & Materials Science
Experiments Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

Photo of Andrew Bingham

Andrew Bingham

Person: Senior Academic

20062012
Photo of Alison Brown

Alison Brown

Person: Senior Academic

Photo of Siobhan Fenton

Siobhan Fenton

Person: Senior Academic

Research Output 2000 2019

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 16 Jun 2019, (Accepted/In press) In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics

Locating Vulnerabilities in Binaries via Memory Layout Recovering

Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 24 May 2019, (Accepted/In press) The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Open Access
File
Data storage equipment
Binary codes
Semantics
Hardening
Recovery
16 Downloads (Pure)

Automated Modular Verification for Relaxed Communication Protocols

Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Open Access
File
Network protocols
Data storage equipment
Communication