Search results for "PLAs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Wenjing Rao, Alex Orailoglu, Ramesh Karri	Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs.	DATE	2007	DBLP DOI BibTeX RDF
83	Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	SPFD-based wire removal in standard-cell and network-of-PLA circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
69	Venkata Rajesh Mekala, Venkata Rakesh Mekala	Methodology for Characterization of NOR-NOR Programmable Logic Array.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	H-Spice
69	Dong Sam Ha, Sudhakar M. Reddy	On the design of random pattern testable PLA based on weighted random pattern testing.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	built-in self-test, PLA, testable design, random pattern testability
64	Uthman Alsaiari, Resve A. Saleh	Power, Delay and Yield Analysis of BIST/BISR PLAs Using Column Redundancy.	ISQED	2007	DBLP DOI BibTeX RDF
64	Charles E. Stroud, James R. Bailey, Johan R. Emmert	A New Method for Testing Re-Programmable PLAs.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	electrically erasable programmable logic array testing, manufacturing test development, bridging faults
55	Fan Mo, Robert K. Brayton	PLA-based regular structures and their synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
55	Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks.	ICCD	2000	DBLP DOI BibTeX RDF
55	Tsutomu Sasao	EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
55	Chun-Yeh Liu, Kewal K. Saluja	An efficient algorithm for bipartite PLA folding.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
55	Chun-Yeh Liu, Kewal K. Saluja, Shambhu J. Upadhyaya	BIST-PLA: A Built-in Self-Test Design of Large Programmable Logic Arrays.	DAC	1987	DBLP DOI BibTeX RDF
51	Tzyy-Kuen Tien, Shih-Chieh Chang, Tong-Kai Tsai	Crosstalk alleviation for dynamic PLAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
51	Tzyy-Kuen Tien, Tong-Kai Tsai, Shih-Chieh Chang	Crosstalk Alleviation for Dynamic PLAs.	DATE	2002	DBLP DOI BibTeX RDF
51	Fan Mo, Robert K. Brayton	River PLAs: a regular circuit structure.	DAC	2002	DBLP DOI BibTeX RDF	river routing, programmable logic array
51	Teruhiko Yamada, Toshinori Kotake, Hiroshi Takahashi, Koji Yamazaki	Identification of Redundant Crosspoint Faults in Sequential PLAs with Fault-Free Hardware Reset.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	sequential PLA, seqnetial test, redundancy identification, design for testability, redundant fault
51	Michiel M. Ligthart, Rudi J. Stans	A fault model for PLAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
51	Bjørg Reppen, Einar J. Aas	Combined probabilistic testability calculation and compact test generation for PLAs.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	probabilistic testability, Fault coverage, test pattern generation, programmable logic arrays
51	Peter C. Maxwell, Hans-Joachim Wunderlich	The effectiveness of different test sets for PLAs.	EURO-DAC	1990	DBLP DOI BibTeX RDF
51	Dick L. Liu, Edward J. McCluskey	Design of large embedded CMOS PLAs for built-in self-test.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
46	Antônio Otávio Fernandes	Le test des PLAs optimisés topologiquement. (Test of folded PLAs).		1988	RDF
44	Alley Stoughton, Marco Vassena (eds.)	PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Sandrine Blazy	From Verified Compilation to Secure Compilation: a Semantic Approach.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Matthías Páll Gissurarson, Agustín Mista	Short Paper: Weak Runtime-Irrelevant Typing for Security.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Alisa Pankova, Joosep Jääger	Short Paper: Secure Multiparty Logic Programming.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Sergio Benitez, Jonathan Cogan, Alejandro Russo	Short Paper: Blockcheck the Typechain.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Jean Yang 0001	How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Lauren Labell, Jared Chandler, Kathleen Fisher	Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Ian Sweet, David Darais, Michael Hicks 0001	Short Paper: Probabilistically Almost-Oblivious Computation.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann	Short Paper: Modular Black-box Runtime Verification of Security Protocols.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
44	Mário S. Alvim, Stéphanie Delaune (eds.)	Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018	PLAS@CCS	2018	DBLP BibTeX RDF
44	Lefki Kacem, Catuscia Palamidessi	Geometric Noise for Locally Private Counting Queries.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Noam Shalev, Nimrod Partush	Binary Similarity Detection Using Machine Learning.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Marco Gaboardi	Formal Verification of Differential Privacy.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Tomonori Izumida, Akira Mori, Masatomo Hashimoto	Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Peeter Laud, Martin Pettai, Jaak Randmets	Sensitivity Analysis of SQL Queries.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Iulia Bastys, Frank Piessens, Andrei Sabelfeld	Prudent Design Principles for Information Flow Control.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Maximilian Algehed	A Perspective on the Dependency Core Calculus.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Frédéric Besson, Alexandre Dang, Thomas P. Jensen	Securing Compilation Against Memory Probing.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44	Nate Foster	Network Verification: Successes, Challenges, and Opportunities.	PLAS@CCS	2018	DBLP DOI BibTeX RDF
44		Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017	PLAS@CCS	2017	DBLP BibTeX RDF
44	Dusan Repel, Johannes Kinder, Lorenzo Cavallaro	Modular Synthesis of Heap Exploits.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Samuel Grütter, Toby C. Murray	Short Paper: Towards Information Flow Reasoning about Real-World C Code.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Russell O'Connor	Simplicity: A New Language for Blockchains.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Tejas Saoji, Thomas H. Austin, Cormac Flanagan	Using Precise Taint Tracking for Auto-sanitization.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	McKenna McCall, Lay Kuan Loh, Limin Jia 0001	A Sequent Calculus for Counterfactual Reasoning.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Gurvan Cabon, Alan Schmitt	Annotated Multisemantics To Prove Non-Interference Analyses.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa	Design-time Quantification of Integrity in Cyber-physical Systems.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Gang Tan, Trent Jaeger	CFG Construction Soundness in Control-Flow Integrity.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte	Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Stephen Chong	Authorization Contracts.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Maximilian Algehed, Alejandro Russo	Encoding DCC in Haskell.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Michael Hicks 0001	Languages for Oblivious Computation.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
44	Toby C. Murray, Deian Stefan (eds.)	Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Sergio Benitez	Short Paper: Rusty Types for Solid Safety.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Jens Nicolay, Valentijn Spruyt, Coen De Roover	Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Marco Vassena, Alejandro Russo	On Formalizing Information-Flow Control Libraries.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Fraser Brown	Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Avik Chaudhuri	Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Antonín Steinhauser, François Gauthier 0001	JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Cédric Fournet	Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson	Future-dependent Flow Policies with Prophetic Variables.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Nataliia Bielova	Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Sepehr Amir-Mohammadian, Christian Skalka	In-Depth Enforcement of Dynamic Integrity Taint Analysis.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin	Formal Verification of Smart Contracts: Short Paper.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Ziyuan Meng	Short Paper: Bounding Information Leakage Using Implication Graph.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Chandrakana Nandi, Michael D. Ernst	Automatic Trigger Generation for Rule-based Smart Homes.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
44	Michael Clarkson, Limin Jia 0001 (eds.)	Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Pablo Buiras, Bart van Delft	Dynamic Enforcement of Dynamic Policies.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Shriram Krishnamurthi	Tierless Programming and Reasoning for Networks.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Toby C. Murray	Short Paper: On High-Assurance Information-Flow-Secure Programming Languages.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Vijay Ganesh, Sebastian Banescu, Martín Ochoa	Short Paper: The Meaning of Attack-Resistant Systems.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck	Memory-safe Execution of C on a Java VM.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Sophia Drossopoulou, James Noble 0001, Mark S. Miller	Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Catalin Hritcu	Micro-Policies: Formally Verified, Tag-Based Security Monitors.	PLAS@ECOOP	2015	DBLP DOI BibTeX RDF
44	Alejandro Russo, Omer Tripp (eds.)	Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014	PLAS@ECOOP	2014	DBLP BibTeX RDF
44	Deian Stefan, David Mazières	Building Secure Systems with LIO (Demo).	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Alley Stoughton, Andrew Johnson 0005, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich	You Sank My Battleship!: A Case Study in Secure Programming.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Julian Dolby	To Dream the Impossible Dream: Toward Security Analysis for JavaScript.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Dante Zanarini, Mauro Jaskelioff	Monitoring Reactive Systems with Dynamic Channels.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Lantian Zheng, Andrew C. Myers	A Language-Based Approach to Secure Quorum Replication.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Dan Bogdanov, Peeter Laud, Jaak Randmets	Domain-Polymorphic Programming of Privacy-Preserving Applications.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Niklas Broberg, Bart van Delft, David Sands 0001	Paragon: Programming with Information Flow Control (Demo).	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001	Operational Semantics for Secure Interoperation.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
44	Prasad Naldurg, Nikhil Swamy (eds.)	Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013	PLAS	2013	DBLP BibTeX RDF
44	Martin Mariusz Lester	Position paper: the science of boxing.	PLAS	2013	DBLP DOI BibTeX RDF
44	Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck	WEBLOG: a declarative language for secure web development.	PLAS	2013	DBLP DOI BibTeX RDF
44	Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld	GlassTube: a lightweight approach to web application integrity.	PLAS	2013	DBLP DOI BibTeX RDF
44	Thomas H. Austin, Jean Yang 0001, Cormac Flanagan, Armando Solar-Lezama	Faceted execution of policy-agnostic programs.	PLAS	2013	DBLP DOI BibTeX RDF
44	Andreas Gampe, Jeffery von Ronne	Security completeness: towards noninterference in composed languages.	PLAS	2013	DBLP DOI BibTeX RDF
44	Matthias Keil 0002, Peter Thiemann 0001	Type-based dependency analysis for javascript.	PLAS	2013	DBLP DOI BibTeX RDF
44	Xun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong	Position paper: Sapper - a language for provable hardware policy enforcement.	PLAS	2013	DBLP DOI BibTeX RDF
44	Aseem Rastogi, Piotr Mardziel, Michael Hicks 0001, Matthew A. Hammer	Knowledge inference for optimizing secure multi-party computation.	PLAS	2013	DBLP DOI BibTeX RDF
44	David Sands 0001	Fault-tolerant non-interference: invited talk abstract.	PLAS	2013	DBLP DOI BibTeX RDF
44	Sergio Maffeis, Tamara Rezk (eds.)	Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012	PLAS	2012	DBLP BibTeX RDF
44	Eric Bodden	Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
44	Alejandro Mario Hernandez, Flemming Nielson	A generic approach for security policies composition: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
44	Shuying Liang, Matthew Might	Hash-flow taint analysis of higher-order programs.	PLAS	2012	DBLP DOI BibTeX RDF
44	Damien Doligez, Mathieu Jaume, Renaud Rioboo	Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.	PLAS	2012	DBLP DOI BibTeX RDF
44	Dominic Duggan, Ye Wu 0006	Security correctness for secure nested transactions: position paper.	PLAS	2012	DBLP DOI BibTeX RDF