Search results for "CERT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Fabrizio Luccio, Alberto Pedrotti	Design of Reliable Combinatorial Algorithms Using Certificates.	CIAC	1997	DBLP DOI BibTeX RDF
65	Javier López 0001, Antonio Mana, Juan J. Ortega	Cert'eM: Certification System Based on Electronic Mail Service Structure.	CQRE	1999	DBLP DOI BibTeX RDF
58	Karthik N. Kannan, Rahul Telang, Hao Xu	Economic Analysis of the Market for Software Vulnerability Disclosure.	HICSS	2004	DBLP DOI BibTeX RDF
45	Syrine Tlili, Xiaochun Yang, Rachid Hadjidj, Mourad Debbabi	Verification of CERT Secure Coding Rules: Case Studies.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF
38	Marian Stewart Bartlett, Gwen Littlewort, Tingfan Wu, Javier R. Movellan	Computer Expression Recognition Toolbox.	FG	2008	DBLP DOI BibTeX RDF
33	In-Jung Kim, Cheol Won Lee, Eul-Gyu Im	Changes of Cyber-Terrorism: Autonomous Terrors and Counter-Measures.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	autogenous terror, cyber terrorism, CERT, ISAC
33	Chi-Hong Leung, Yuen-Yan Chan, Candy Suk Ching Chan	Analysis of mobile commerce market in Hong Kong.	ICEC	2003	DBLP DOI BibTeX RDF	marketing analysis, mobile e-cert, mobile network operator, mobile commerce, information market, communication standard
26	Daqian Shao, Lukas Fesser, Marta Kwiatkowska	STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers.	CoRR	2024	DBLP DOI BibTeX RDF
26	Zsófia Ádám, Dirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg	Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.	TACAS (3)	2024	DBLP DOI BibTeX RDF
26	Li'an Xie, Ting Wang 0001, Shuyi Du, Haibin Cai	CERT-DF: A Computing-Efficient and Robust Distributed Deep Forest Framework With Low Communication Overhead.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
26	Brian Campbell 0005, Mike Bishop	Client-Cert HTTP Header Field.	RFC	2023	DBLP DOI BibTeX RDF
26	Daoguang Zan, Bei Chen, Dejian Yang, Zeqi Lin, Minsu Kim, Bei Guan, Yongji Wang 0002, Weizhu Chen, Jian-Guang Lou	CERT: Continual Pre-Training on Sketches for Library-Oriented Code Generation.	CoRR	2022	DBLP DOI BibTeX RDF
26	Andrea Neverdal Skytterholm, Martin Gilje Jaatun	Exploring the Need for a CERT for the Norwegian Construction Sector.	Cyber Science	2022	DBLP DOI BibTeX RDF
26	Mikhail Pautov, Nurislam Tursynbek, Marina Munkhoeva, Nikita Muravev, Aleksandr Petiushko, Ivan V. Oseledets	CC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks.	AAAI	2022	DBLP DOI BibTeX RDF
26	Xinyi Luo, Zhuo Xu, Kaiping Xue, Qiantong Jiang, Ruidong Li, David S. L. Wei	ScalaCert: Scalability-Oriented PKI with Redactable Consortium Blockchain Enabled "On-Cert" Certificate Revocation.	ICDCS	2022	DBLP DOI BibTeX RDF
26	Anthony Adams, Gillian C. Oliver, Carsten Rudolph	Cybersecurity Maturity in the Pacific Islands - Informing a Regional CERT Framework.	HICSS	2022	DBLP BibTeX RDF
26	Daoguang Zan, Bei Chen, Dejian Yang, Zeqi Lin, Minsu Kim, Bei Guan, Yongji Wang 0002, Weizhu Chen, Jian-Guang Lou	CERT: Continual Pre-training on Sketches for Library-oriented Code Generation.	IJCAI	2022	DBLP DOI BibTeX RDF
26	Mikhail Pautov, Nurislam Tursynbek, Marina Munkhoeva, Nikita Muravev, Aleksandr Petiushko, Ivan V. Oseledets	CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks.	CoRR	2021	DBLP BibTeX RDF
26	Tianyu Du, Shouling Ji, Lujia Shen, Yao Zhang, Jinfeng Li, Jie Shi, Chengfang Fang, Jianwei Yin, Raheem Beyah, Ting Wang 0006	Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks.	CCS	2021	DBLP DOI BibTeX RDF
26	Claudia Yadira Rodríguez-Ríos, Abigail Calderón Narváez, Santiago Cárdenas Jiménez	Application of the CERT Values Measurement Model for Organizational Culture in the Management and Quality Company.	WEA	2021	DBLP DOI BibTeX RDF
26	Hongchao Fang, Pengtao Xie	CERT: Contrastive Self-supervised Learning for Language Understanding.	CoRR	2020	DBLP BibTeX RDF
26	Martin Gilje Jaatun, Lars Bodsberg, Tor Olav Grøtan, Marie Elisabeth Gaup Moe	An Empirical Study of CERT Capacity in the North Sea.	Cyber Security	2020	DBLP DOI BibTeX RDF
26	Namjun Kim, Chanmo Yang, Daebeom Cho, Seung Hyeon Geum, Ki-Woong Park	CERT Training Platform over the Event-Recordable Container.	ICEA	2020	DBLP DOI BibTeX RDF
26	Evgeny Goncharov, Kirill Kruglov, Yuliya Dashchenko	Five ICS cybersecurity myths based on Kaspersky Lab ICS CERT experience.	Autom.	2019	DBLP DOI BibTeX RDF
26	Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada	Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.	APSEC	2019	DBLP DOI BibTeX RDF
26	Akhilan Boopathy, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu 0001, Luca Daniel	CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks.	AAAI	2019	DBLP DOI BibTeX RDF
26	Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada	Reducing false positives of static analysis for SEI CERT C coding standard.	CESSER-IP@ICSE	2019	DBLP BibTeX RDF
26	Akhilan Boopathy, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu 0001, Luca Daniel	CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks.	CoRR	2018	DBLP BibTeX RDF
26	Shahrzad Sedaghat	CERT strategy to deal with phishing attacks.	CoRR	2017	DBLP BibTeX RDF
26	Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon	Q*cert: A Platform for Implementing and Verifying Query Compilers.	SIGMOD Conference	2017	DBLP DOI BibTeX RDF
26	Awdren de Lima Fontão, Arilo Claudio Dias-Neto, Rodrigo Pereira dos Santos	MSECO-CERT: Uma Abordagem Baseada em Processo para Apoiar a Certificação de Apps em Ecossistema de Software Móvel.	SBQS	2017	DBLP DOI BibTeX RDF
26	Otto Hellwig, Gerald Quirchmayr, Edith Huber, Gernot Goluch, Franz Vock, Bettina Pospisil	Major Challenges in Structuring and Institutionalizing CERT-Communication.	ARES	2016	DBLP DOI BibTeX RDF
26	Mable Benjamin	Secure Coding for Real-Time Embedded Systems: Cert Run-Time Profile for Ada.	SecDev	2016	DBLP DOI BibTeX RDF
26	Patrick Weber, Mariana Hornjik, Monilola A. Olayioye, Angelika Hausser, Nicole Radde	A computational model of PKD and CERT interactions at the trans-Golgi network of mammalian cells.	BMC Syst. Biol.	2015	DBLP DOI BibTeX RDF
26	Otto Hellwig, Gerald Quirchmayr, Edith Huber, Timo Mischitz, Markus Huber 0001	Towards a CERT-Communication Model as Basis to Software Assurance.	ARES	2015	DBLP DOI BibTeX RDF
26	Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix	Coccinelle: Tool support for automated CERT C Secure Coding Standard certification.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
26	Sabina Barakovic, Mladen Mrkaja, Amir Husic, Adnan Kulovac, Jasmina Barakovic Husic	Overview of the Current Situation in Bosnia and Herzegovina with Focus on Cyber Security and Fighting Cyber-Crime by Establishment of BIH CERT Body.	Cyber Security and Resiliency Policy Framework	2014	DBLP DOI BibTeX RDF
26	Brendan Morris	Center for Environmental Research & Technology (CE-CERT) [ITS Research Lab].	IEEE Intell. Transp. Syst. Mag.	2013	DBLP DOI BibTeX RDF
26	Devdatta Akhawe, B. Amann 0001, Matthias Vallentin, Robin Sommer	Here's my cert, so trust me, maybe?: understanding TLS errors on the web.	WWW	2013	DBLP DOI BibTeX RDF
26	Yolanda S. Baker, Rajeev Agrawal, Sambit Bhattacharya	Analyzing security threats as reported by the United States Computer Emergency Readiness Team (US-CERT).	ISI	2013	DBLP DOI BibTeX RDF
26	Piotr Kijewski, Adam Kozakiewicz	Security Research at NASK: Supporting the Operational Needs of a CERT Team and More.	SysSec@DIMVA	2011	DBLP DOI BibTeX RDF
26	Gwen Littlewort, Jacob Whitehill, Tingfan Wu, Ian R. Fasel, Mark G. Frank, Javier R. Movellan, Marian Stewart Bartlett	The computer expression recognition toolbox (CERT).	FG	2011	DBLP DOI BibTeX RDF
26	Gwen Littlewort, Jacob Whitehill, Tingfan Wu, Nicholas J. Butko, Paul Ruvolo, Javier R. Movellan, Marian Stewart Bartlett	The motion in emotion - A CERT based approach to the FERA emotion challenge.	FG	2011	DBLP DOI BibTeX RDF
26	Taeseung Lee, Kwang-Woo Lee, Dongho Won, Namje Park	Information Technology Security Evaluation Using CERT C Secure Coding Standard.	FGIT	2011	DBLP DOI BibTeX RDF
26	Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
26	Russell Housley	The application/pkix-attr-cert Media Type for Attribute Certificates.	RFC	2010	DBLP DOI BibTeX RDF
26	Richard A. Caralli, Julia H. Allen, Pamela D. Curtis, David W. White, Lisa R. Young	Improving Operational Resilience Processes: The CERT Resilience Management Model.	SocialCom/PASSAT	2010	DBLP DOI BibTeX RDF
26	Thomas Königshofen	Aufbau der CERT-Organisation in einem weltweit tätigen Konzern.	Datenschutz und Datensicherheit	2002	DBLP BibTeX RDF
26	Dirk Fox	Computer Emergency Response Team (CERT).	Datenschutz und Datensicherheit	2002	DBLP BibTeX RDF
26	Bill Hancock	Office 2000 Patch Recommended by CERT.	Comput. Secur.	2000	DBLP DOI BibTeX RDF
26	Bill Hancock	CMU Sets Up a Sister to CERT.	Comput. Secur.	2000	DBLP DOI BibTeX RDF
26		Computer Emergency Response Team: Ongoing Network Monitoring Attacks: CERT Advisory, February 3, 1994.	Computerization and Controversy, 2nd Ed.	1996	DBLP DOI BibTeX RDF
26	Katherine T. Fithen, Barbara Fraser	CERT Incident Response.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Christopher C. Harvey	CERT - Computer Emergency Response Team.	Comput. Networks ISDN Syst.	1991	DBLP BibTeX RDF
26	Hervé Gallaire, Jean-Marie Nicolas 0001, Jack Minker (eds.)	Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France		1981	DBLP BibTeX RDF
26	William R. Spickerman	CERT (Curriculum Evaluation and Review Technique).	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF
26	Joachim Biskup	A Formal Approach to Null Values in Database Relations.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Maarten H. van Emden, T. S. E. Maibaum	Equations Compared with Clauses for Specification of Abstract Data Types.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Catriel Beeri, Moshe Y. Vardi	On the Properties of Join Dependencies.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Chin-Liang Chang	On Evaluation of Queries Containing Derived Relations in a Relational Data Base.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Robert Demolombe	Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	John Grant, Jack Minker	Optimization in Deductive and Conventional Relational Database Systems.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Jan Paredaens, Dirk Janssens	Decompositions of Relations: A Comprehensive Approach.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Alain Colmerauer, Jean François Pique	About Natural Logic.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Raymond Reiter	On the Integrity of Typed First Order Data Bases.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Charles Kellogg, Larry Travis	Reasoning with Data in a Deductively Augmented Data Management System.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	David Maier 0001, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman	Adequacy of Decompositions of Relational Databases.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Antonio M. Silva, Michel A. Melkanoff	A Method for Helping Discover the Dependencies of a Relation.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Hervé Gallaire, Jack Minker, Jean-Marie Nicolas 0001	Background for Advances in Data Base Theory.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
26	Jürgen M. Janas	On the Feasibility of Informative Answers.	Advances in Data Base Theory	1979	DBLP BibTeX RDF
19	Thomas A. Gerace, Huseyin Cavusoglu	The critical elements of the patch management process.	Commun. ACM	2009	DBLP DOI BibTeX RDF
19	Sandeep Bhatkar, R. Sekar 0001	Data Space Randomization.	DIMVA	2008	DBLP DOI BibTeX RDF	address space randomization, buffer overflow, memory error
19	James Walden	Integrating web application security into the IT curriculum.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	web security education, web application security
19	Rahul Telang, Sunil Wattal	An Empirical Analysis of the Impact of Software Vulnerability Announcements on Firm Stock Price.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	software vendors, quality, Information security, patching, software vulnerability, event-study
19	Pu Li, H. Raghav Rao	An examination of private intermediaries' roles in software vulnerabilities disclosure.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Private intermediary, Disclosure, Software vulnerability
19	Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton	Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior.	HICSS	2007	DBLP DOI BibTeX RDF
19	Robert C. Seacord, Sven Dietrich, Daniel Plakosh	Secure Software Architecture, Design, Implementation and Assurance.	HICSS	2007	DBLP DOI BibTeX RDF
19	Marian Stewart Bartlett, Gwen Littlewort, Esra Vural, Kang Lee, Müjdat Çetin, Aytül Erçil, Javier R. Movellan	Data Mining Spontaneous Facial Behavior with Automatic Expression Coding.	COST 2102 Workshop (Patras)	2007	DBLP DOI BibTeX RDF	machine learning, Facial expression recognition
19	Kenneth G. Paterson, Arnold K. L. Yau	Lost in translation: theory and practice in cryptography.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
19	Hung-Min Sun, Yue-Hsun Lin, Ming-Fung Wu	API Monitoring System for Defeating Worms and Exploits in MS-Windows System.	ACISP	2006	DBLP DOI BibTeX RDF	Worm Protection, API Hooking, System Security
19	Feng Qin, Shan Lu 0001, Yuanyuan Zhou 0001	SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.	HPCA	2005	DBLP DOI BibTeX RDF
19	William Wu, Frederick Yip, Eunice Yiu, Pradeep Ray	Integrated Vulnerability Management System for Enterprise Networks.	EEE	2005	DBLP DOI BibTeX RDF
19	Nathan Tuck, Brad Calder, George Varghese	Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow.	MICRO	2004	DBLP DOI BibTeX RDF
19	David P. Biros, Gregory Fields, Gregg H. Gunsch	The Effect of External Safeguards on Human-Information System Trust in an Information Warfare Environment.	HICSS	2003	DBLP DOI BibTeX RDF
19	Hilary K. Browne, William A. Arbaugh, John McHugh, William L. Fithen	A Trend Analysis of Exploitations.	S&P	2001	DBLP DOI BibTeX RDF
19	Richard D. Pethia	Bugs in the programs.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF
19	David A. Fisher, Howard F. Lipson	Emergent Algorithms - A New Method for Enhancing Survivability in Unbounded Systems.	HICSS	1999	DBLP DOI BibTeX RDF
19	Pierre Bieber, Pierre Siron	Design and Implementation of a Distributed Interactive Simulation Security Architecture.	DIS-RT	1999	DBLP DOI BibTeX RDF	security, HLA, distributed architecture, RTI