|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 293 occurrences of 207 keywords
|
|
|
Results
Found 582 publication records. Showing 560 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 560 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|