Search Results - "Haviv, Yinnon" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Unique permutation hashing

Unique permutation hashing

by Dolev, Shlomi, Lahiani, Limor, Haviv, Yinnon
Published in Theoretical computer science (04.03.2013)

Get full text

Journal Article

Stabilization Enabling Technology

Stabilization Enabling Technology

by Dolev, S., Haviv, Y.
Published in IEEE transactions on dependable and secure computing (01.03.2012)

Get full text

Journal Article

Self-stabilizing microprocessor: analyzing and overcoming soft errors

Self-stabilizing microprocessor: analyzing and overcoming soft errors

by Dolev, S., Haviv, Y.A.
Published in IEEE transactions on computers (01.04.2006)

Get full text

Journal Article

Stabilization Enabling Technology

Stabilization Enabling Technology

by Dolev, Shlomi, Haviv, Yinnon
Published in Lecture notes in computer science (2006)

Get full text

Book Chapter Conference Proceeding

Self-stabilization Preserving Compiler

Self-stabilization Preserving Compiler

by Dolev, Shlomi, Haviv, Yinnon, Sagiv, Mooly
Published in Lecture notes in computer science (2005)

Get full text

Book Chapter Conference Proceeding

Towards Learning a Universal Non-Semantic Representation of Speech

Towards Learning a Universal Non-Semantic Representation of Speech

by Shor, Joel, Jansen, Aren, Maor, Ronnie, Lang, Oran, Omry Tuval, Felix de Chaumont Quitry, Tagliasacchi, Marco, Shavitt, Ira, Dotan Emanuel, Haviv, Yinnon
Published in arXiv.org (06.08.2020)

Get full text

Paper Journal Article

System and method for static detection and categorization of information-flow downgraders

System and method for static detection and categorization of information-flow downgraders

by Hay, Roee, Weisman, Omri, Pistoia, Marco, Podjarny, Guy, Tateishi, Takaaki, Tripp, Omer, Haviv, Yinnon, Sharabani, Adi
Year of Publication 11.08.2020

Get full text

Patent

Static analysis of computer software applications having a model-view-controller architecture

Static analysis of computer software applications having a model-view-controller architecture

by TRIPP OMER, HAVIV YINNON A, WEISMAN OMRI
Year of Publication 17.11.2015

Get full text

Patent

Static analysis with input reduction

Static analysis with input reduction

by Kalman, Daniel, Weisman, Omri, Tripp, Omer, Haviv, Yinnon A, Pikus, Dmitri
Year of Publication 18.12.2018

Get full text

Patent

STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS HAVING A MODEL-VIEW-CONTROLLER ARCHITECTURE

STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS HAVING A MODEL-VIEW-CONTROLLER ARCHITECTURE

by TRIPP OMER, HAVIV YINNON A, WEISMAN OMRI
Year of Publication 31.07.2014

Get full text

Patent

Static analysis of computer software applications having a model-view-controller architecture

Static analysis of computer software applications having a model-view-controller architecture

by TRIPP OMER, HAVIV YINNON A, WEISMAN OMRI
Year of Publication 13.05.2014

Get full text

Patent

System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies

System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies

by Centonze Paolina, Hay Roee, Tripp Omer, Haviv Yinnon Avraham, Sharabani Adi, Pistoia Marco
Year of Publication 05.12.2017

Get full text

Patent

System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies

System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies

by Centonze Paolina, Hay Roee, Tripp Omer, Haviv Yinnon Avraham, Sharabani Adi, Pistoia Marco
Year of Publication 28.03.2017

Get full text

Patent

SYSTEM, METHOD AND APPARATUS FOR SIMULTANEOUS DEFINITION AND ENFORCEMENT OF ACCESS-CONTROL AND INTEGRITY POLICIES

SYSTEM, METHOD AND APPARATUS FOR SIMULTANEOUS DEFINITION AND ENFORCEMENT OF ACCESS-CONTROL AND INTEGRITY POLICIES

by CENTONZE Paolina, HAVIV Yinnon Avraham, HAY Roee, PISTOIA Marco, SHARABANI Adi, TRIPP Omer
Year of Publication 09.02.2017

Get full text

Patent

Detection of dom-based cross-site scripting vulnerabilities

Detection of dom-based cross-site scripting vulnerabilities

by YAIR AMIT, OMER TRIPP, OMRI WEISMAN, DANIEL KALMAN, YINNON HAVIV
Year of Publication 14.01.2015

Get full text

Patent

Static Analysis of Computer Software Applications Having A Model-View-Controller Architecture

Static Analysis of Computer Software Applications Having A Model-View-Controller Architecture

by TRIPP OMER, HAVIV YINNON A, WEISMAN OMRI
Year of Publication 02.08.2012

Get full text

Patent

SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORMATION-FLOW DOWNGRADERS

SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORMATION-FLOW DOWNGRADERS

by TRIPP OMER, WEISMAN OMRI, HAVIV YINNON, PODJARNY GUY, HAY ROEE, PISTOIA MARCO, TATEISHI TAKAAKI, SHARABANI ADI
Year of Publication 02.06.2016

Get full text

Patent

System and method for static detection and categorization of information-flow downgraders

System and method for static detection and categorization of information-flow downgraders

by TRIPP OMER, WEISMAN OMRI, HAVIV YINNON, PODJARNY GUY, HAY ROEE, PISTOIA MARCO, TATEISHI TAKAAKI, SHARABANI ADI
Year of Publication 01.03.2016

Get full text

Patent

Detection of DOM-based cross-site scripting vulnerabilities

Detection of DOM-based cross-site scripting vulnerabilities

by TRIPP OMER, HAVIV YINNON A, WEISMAN OMRI, KALMAN DANIEL, AMIT YAIR
Year of Publication 29.12.2015

Get full text

Patent

Importance-based call graph construction

Importance-based call graph construction

by FINK STEPHEN, TRIPP OMER, WEISMAN OMRI, HAVIV YINNON AVRAHAM, PISTOIA MARCO
Year of Publication 08.12.2015

Get full text

Patent