Daniel Jackson

Massachusetts Institute of Technology

Professor

Department of Electrical Engineering and Computer Science

Which program are you applying for ?

View Bookmark

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’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*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

    Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson

    DOI : 10.1007/S00165-017-0445-Z

  • Alloy: a language and tool for exploring software designs

    2019/08 COMMUNICATIONS OF THE ACM 6.988 Impact Factor 12 citations

    Daniel Jackson

    DOI : 10.1145/3338843

How can I correct errors in PhD.GO?


Papers for author ‘Daniel Jackson’: 2

Number of published SCIE papers by year

0123420182019
H-index 2
Number of NCS papers 0

*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

    Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson

    DOI : 10.1007/S00165-017-0445-Z

  • Alloy: a language and tool for exploring software designs

    2019/08 COMMUNICATIONS OF THE ACM 6.988 Impact Factor 12 citations

    Daniel Jackson

    DOI : 10.1145/3338843

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 3

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*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

    Joseph P. Near, Daniel Jackson

    DOI : 10.1145/2884781.2884836

  • Designing minimal effective normative systems with the help of lightweight formal methods

    2016/11 FSE Top-tier Conference 6 citations

    Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson

    DOI : 10.1145/2950290.2950307

How can I correct errors in PhD.GO?


Papers for author ‘Daniel Jackson’: 4

Number of published Top-tier Conference by year

012342016
Top-tier Conference 4

*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

    Joseph P. Near, Daniel Jackson

    DOI : 10.1145/2884781.2884836

  • Multi-representational security analysis

    2016/11 FSE Top-tier Conference 16 citations

    Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson

    DOI : 10.1145/2950290.2950356

How can I correct errors in PhD.GO?