
Daniel Jackson
Massachusetts Institute of Technology
Professor
Department of Electrical Engineering and Computer Science
Research Area
#Computer science#Software engineering#Computer security#Computer security model#Software#Web application#Software design#Programming language#Correctness#World Wide Web
SCIE paper information
Papers relevant to ‘Computer science’: 2
Research performance of SCIE papers matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
A formal approach for detection of security flaws in the android permission system
2018/09 FORMAL ASPECTS OF COMPUTING 0.784 Impact Factor 23 citations
Alloy: a language and tool for exploring software designs
2019/08 COMMUNICATIONS OF THE ACM 6.988 Impact Factor 12 citations
Papers for author ‘Daniel Jackson’: 2
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
A formal approach for detection of security flaws in the android permission system
2018/09 FORMAL ASPECTS OF COMPUTING 0.784 Impact Factor 23 citations
Alloy: a language and tool for exploring software designs
2019/08 COMMUNICATIONS OF THE ACM 6.988 Impact Factor 12 citations
conference information
Papers relevant to ‘Computer science’: 3
Research performance of Top-tier Conference matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Finding security bugs in web applications using a catalog of access control patterns
2016/05 ICSE Top-tier Conference 19 citations
Designing minimal effective normative systems with the help of lightweight formal methods
2016/11 FSE Top-tier Conference 6 citations
Papers for author ‘Daniel Jackson’: 4
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Finding security bugs in web applications using a catalog of access control patterns
2016/05 ICSE Top-tier Conference 19 citations
Multi-representational security analysis
2016/11 FSE Top-tier Conference 16 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar