• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1983 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2016

    Reliability analysis of healthcare information systems: State of the art and future directions

    Gawanmeh, A., Al-Hamadi, H., Al-Qutayri, M., Chin, S. K. & Saleem, K., Apr 15 2016, 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., p. 68-74 7 p. 7454475

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

    24 Scopus citations
  • 2013

    Reasoning about delegation and account access in retail payment systems

    Chin, S. K. & Older, S., Jan 1 2013, HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings. PART II ed. Springer Verlag, p. 99-114 16 p. (Communications in Computer and Information Science; vol. 374, no. PART II).

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

  • 2010

    Credentials management for high-value transactions

    Benson, G., Chin, S. K., Croston, S., Jayaraman, K. & Older, S., 2010, Computer Network Security - 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, Proceedings. p. 169-182 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).

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

  • Policy-based design and verification for mission assurance

    Chin, S. K., Muccio, S., Older, S. & Vestal, T. N. J., 2010, Computer Network Security - 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, Proceedings. p. 125-138 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).

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

    1 Scopus citations
  • 2007

    Reasoning about delegation and Account access in retail payment systems

    Chin, S. K. & Older, S., Dec 1 2007, Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings. p. 99-114 16 p. (Communications in Computer and Information Science; vol. 1).

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

  • 2005

    A modal logic for role-based access control

    Kosiyatrakul, T., Older, S. & Chin, S. K., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3685 LNCS).

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

    7 Scopus citations
  • 2003

    Outcomes-based assessment as an assurance education tool

    Older, S. & Chin, S. K., 2003, Security Education and Critical Infrastructures - IFIP TC11/WG11.8 3rd Annual World Conference on Information Security Education, WISE 3. Springer New York LLC, p. 179-196 18 p. (IFIP Advances in Information and Communication Technology; vol. 125).

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

  • 1999

    Formal analysis of a secure communication channel: Secure core-email protocol

    Zhou, D. & Chin, S. K., 1999, FM 1999 – Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Wing, J. M., Woodcock, J. & Davies, J. (eds.). Springer Verlag, p. 758-775 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1708).

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

    3 Scopus citations
  • Formal development of secure Email

    Zhou, D., Kuo, J. C., Older, S. B. & Chin, S. K., 1999, Proceedings of the Hawaii International Conference on System Sciences. IEEE Computer Society, p. 132 1 p.

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

    5 Scopus citations
  • Formal verification of tree-structured carry-lookahead adders

    Kim, S. H. & Chin, S. K., Dec 1 1999, Proceedings of the IEEE Great Lakes Symposium on VLSI. IEEE Computer Society, p. 232-233 2 p. (Proceedings of the IEEE Great Lakes Symposium on VLSI).

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

    3 Scopus citations
  • 1998

    An instruction set process calculus

    Chin, S. K. & Kim, J. D., 1998, Formal Methods in Computer-Aided Design - 2nd International Conference, FMCAD 1998, Proceedings. Gopalakrishnan, G. & Windley, P. (eds.). Springer Verlag, p. 451-468 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1522).

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

  • 1997

    Assured VLSI design with formal verification

    Kim, J. D. & Chin, S. K., 1997, COMPASS - Proceedings of the Annual Conference on Computer Assurance. Anon (ed.). IEEE Computer Society, p. 13-22 10 p.

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

    1 Scopus citations
  • Experience extending VLSI design with mathematical logic

    Chin, S. K., 1997, Proceedings of the IEEE International Conference on Microelectronic Systems Education, MSE. IEEE Computer Society, p. 11-12 2 p.

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

  • 1996

    Formal methods applied to secure network engineering

    Chin, S. K., Faust, J. & Giordano, J., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 344-351 8 p.

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

  • Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

    Barjaktarović, M., Chin, S. K. & Jabbour, K., May 1 1996, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, p. 270-279 10 p.

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

  • Hardware composition with hardware flowcharts and process algebras

    Lu, J. Y. J., Kim, J. D. & Chin, S. K., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 352-364 13 p.

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

    1 Scopus citations
  • 1995

    Extending VLSI design with higher-order logic

    Chavan, A., Chin, S. K. & Lu, J. Y., 1995, Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Anon (ed.). IEEE Computer Society, p. 85-94 10 p.

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

  • Formal specification and verification of communication protocols using automated tools

    Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 246-253 8 p.

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

    7 Scopus citations
  • Formal verification of serial pipeline multipliers

    Kim, J. D. & Chin, S. K., 1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 971. p. 229-244 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 971).

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

  • Integrating formal methods tools to support system design

    Chin, S. K., Faust, J. & Giordano, J., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 88-95 8 p.

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

  • 1994

    Generating designs using an algorithmic register transfer language with formal semantics

    Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 7th International Workshop, Proceedings. Melham, T. F. & Camilleri, J. (eds.). Springer Verlag, p. 316-331 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 859 LNCS).

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

  • Linking higher order logic to a VLSI CAD system

    Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Springer Verlag, Vol. 780 LNCS. p. 199-212 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).

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

  • Parallel implementation of BDD algorithms using a distributed shared memory

    Parasuram, Y., Stabler, E. & Chin, S. K., Jan 1 1994, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (eds.). IEEE Computer Society, p. 16-25 10 p. (Proceedings of the Hawaii International Conference on System Sciences; vol. 1).

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

    9 Scopus citations
  • Server-process restrictiveness in HOL

    Brackin, S. H. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Joyce, J. J. & Seger, C-J. H. (eds.). Springer Verlag, p. 450-463 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).

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

  • 1993

    Formal specification and verification of OSI session layer protocol using CCS

    Barjaktarovic, M., Chin, S. K. & Jabbour, K., Dec 1 1993, Midwest Symposium on Circuits and Systems. IEEE Computer Society, p. 1140-1143 4 p. (Midwest Symposium on Circuits and Systems; vol. 2).

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

  • 1991

    Implementing and verifying finite-state machines using types in higher-order logic

    Chin, S. K. & Birtwistle, G., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 121-129 9 p. 596279. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).

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

    1 Scopus citations
  • Verifying arithmetic hardware in higher-order logic

    Chin, S. K., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 22-31 10 p. 596268. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).

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

    1 Scopus citations
  • 1990

    Combining engineering vigor with mathematical rigor

    Chin, S. K., 1990, Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings. Leeser, M. & Brown, G. (eds.). Springer Verlag, p. 152-176 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 408 LNCS).

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

  • 1988

    Using higher order logic and functional languages to synthesize correct hardware

    Chin, S. K., Stabler, E. P. & Greene, K. J., Dec 1 1988, Int Conf on Comput Lang 1988 Proc. IEEE Computer Society, p. 396-403 8 p. (Int Conf on Comput Lang 1988 Proc).

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

  • Verifiable and executable theories of design for synthesizing correct hardware

    Chin, S. K. & Greene, K. J., Dec 1 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. IEEE Computer Society, p. 604-610 7 p. (1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc).

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

  • 1986

    SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.

    Chin, S. K. & Stabler, E. P., Dec 1 1986, Unknown Host Publication Title. IEEE Computer Society, p. 558-560 3 p.

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

  • 1983

    HIGHLY DENSE VLSI COMPLEX ARRAY MULTIPLIER.

    Shay, H., Gray, D. & Chin, S. K., 1983, Proceedings of the Custom Integrated Circuits Conference. IEEE Computer Society, p. 249-251 3 p.

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