-
1
المؤلفون: Adam Wick, Matthew Yacavone, Paul He, Aaron Tomb, Chris Phifer, Steve Zdancewic, Karl Smeltzer, Andrei Ştefănescu, Eddy Westbrook, Valentin Robert, Brent Carmer
المصدر: Proceedings of the ACM on Programming Languages. 5:1-29
مصطلحات موضوعية: Functional specification, Programming language, Computer science, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Index (publishing), 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), Array data structure, Purely functional, State (computer science), Safety, Risk, Reliability and Quality, computer, Memory safety, Software
-
2
المؤلفون: Aaron Tomb, Stuart Pernsteiner, Mike Dodds
المصدر: SecDev
مصطلحات موضوعية: business.industry, Computer science, Programming language, computer.software_genre, Small set, Test (assessment), Software, Software quality assurance, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Test suite, Code (cryptography), business, Formal verification, computer, Rust (programming language), computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::565a759a968de627213569de8d9e26c9
https://doi.org/10.1109/secdev45635.2020.00021 -
3
المؤلفون: Mike Dodds, Stephen Magill, Aaron Tomb
المصدر: SecDev
مصطلحات موضوعية: Focus (computing), Software, Workflow, business.industry, Computer science, Code (cryptography), Software development, Cryptography, Static analysis, Software engineering, business, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0a180eacca79fdc901d90de005031db1
https://doi.org/10.1109/secdev.2018.00027 -
4
المؤلفون: Aaron Tomb, Andrey Chudnov, Brian Huffman, Stephen Magill, Serdar Tasiran, Eddy Westbrook, Nathan Collins, Byron Cook, Joey Dodds, Eric Mertens, Eric Mullen, Colm MacCarthaigh
المصدر: Computer Aided Verification ISBN: 9783319961415
CAV (2)مصطلحات موضوعية: Amazon rainforest, business.industry, Computer science, 020207 software engineering, 02 engineering and technology, Mathematical proof, Software, Development (topology), Open source, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Key (cryptography), 020201 artificial intelligence & image processing, Software engineering, business, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d5d8721fd77912106cf6b1b06a578d05
https://doi.org/10.1007/978-3-319-96142-2_26 -
5
المؤلفون: Aaron Tomb, Lee Pike, Mark Tullsen, Nathan Collins
المصدر: Computer Aided Verification ISBN: 9783319961415
CAV (2)مصطلحات موضوعية: Correctness, Computer science, Programming language, computer.internet_protocol, Symbolic simulation, 020206 networking & telecommunications, Data_CODINGANDINFORMATIONTHEORY, 02 engineering and technology, computer.software_genre, Symbolic execution, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Abstract Syntax Notation One, computer, Memory safety, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b705a8833c80b494356566d356e963a
https://doi.org/10.1007/978-3-319-96142-2_25 -
6
المؤلفون: Trevor Elliott, Patrick C. Hickey, Aaron Tomb, Eric Mertens, Lee Pike
المصدر: Runtime Verification ISBN: 9783319469812
RVمصطلحات موضوعية: 0301 basic medicine, 021110 strategic, defence & security studies, Schedule, Source code, business.industry, Computer science, media_common.quotation_subject, Interrupt handler, 0211 other engineering and technologies, 02 engineering and technology, Call graph, Task (project management), law.invention, 03 medical and health sciences, 030104 developmental biology, Software, law, Embedded system, Autopilot, business, Real-time operating system, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa98e54f072068962ded5457767840d0
https://doi.org/10.1007/978-3-319-46982-9_19 -
7
المؤلفون: Dylan McNamee, Brian Huffman, Adam Foltzer, Aaron Tomb, Robert Dockins, Joe Hendrix
المصدر: Lecture Notes in Computer Science ISBN: 9783319488684
VSTTEمصطلحات موضوعية: Structure (mathematical logic), Programming language, Computer science, Formal equivalence checking, 020207 software engineering, 02 engineering and technology, computer.software_genre, Symbolic execution, Semantic computing, 0202 electrical engineering, electronic engineering, information engineering, Semantic technology, Workbench, 020201 artificial intelligence & image processing, Software analysis pattern, computer, Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::37bc125b5ee9c60801e91d1ddac2dd95
https://doi.org/10.1007/978-3-319-48869-1_5 -
8
المؤلفون: Cormac Flanagan, Aaron Tomb, David Herman
المصدر: Higher-Order and Symbolic Computation. 23:167-189
مصطلحات موضوعية: Soundness, Theoretical computer science, Semantics (computer science), Code (cryptography), Gradual typing, Type system, Limit (mathematics), Function (mathematics), Tail call, Software, Computer Science Applications, Mathematics
-
9
المؤلفون: Ledah Casburn, Trevor Elliott, E. Rogan Creswick, Tristan Ravitch, Aaron Tomb, Adam Foltzer
المصدر: PPREW@ACSAC
مصطلحات موضوعية: Security analysis, Java, Computer science, Suite, Distributed computing, Static analysis, Computer security, computer.software_genre, Robustness (computer science), Android (operating system), Programmer, Heuristics, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c3063ff523a896bfefe9945088fb9d78
https://doi.org/10.1145/2689702.2689705 -
10
المؤلفون: Aaron Tomb
المصدر: IEEE Security & Privacy. :1-1
مصطلحات موضوعية: Correctness, Cryptographic primitive, Computer science, business.industry, Programming language, Computer Networks and Communications, 020207 software engineering, Cryptography, 02 engineering and technology, Cryptol, Cryptographic protocol, computer.software_genre, Software construction, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Security of cryptographic hash functions, Elliptic curve cryptography, Electrical and Electronic Engineering, Software analysis pattern, business, computer, Law, Software verification, computer.programming_language