Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Singapore Management University

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 6061 - 6090 of 8706

Full-Text Articles in Entire DC Network

Seller Diversity On A Technology-Based Platform, Ruhai Wu, Mei Lin Jan 2013

Seller Diversity On A Technology-Based Platform, Ruhai Wu, Mei Lin

Research Collection School Of Computing and Information Systems

Managing a technology portfolio is one of the great challenges for sustained success, especially in high-technology industrieswhere technologies can be a major selling point. For engineers, this portfolio is more of a toolbox for solving design problems,but in large organizations there can be so many technologies used in different business areas that even the engineers may not beaware of all of them. When the same technologies are used in different types of products, knowledge about them can also begenerated by various groups within an organization. To improve the usefulness of a company's technology base, this paperproposes the use of a …


State Space Reduction For Sensor Networks Using Two-Level Partial Order Reduction, Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu Jan 2013

State Space Reduction For Sensor Networks Using Two-Level Partial Order Reduction, Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Research Collection School Of Computing and Information Systems

Wireless sensor networks may be used to conduct critical tasks like fire detection or surveillance monitoring. It is thus important to guarantee the correctness of such systems by systematically analyzing their behaviors. Formal verification of wireless sensor networks is an extremely challenging task as the state space of sensor networks is huge, e.g., due to interleaving of sensors and intra-sensor interrupts. In this work, we develop a method to reduce the state space significantly so that state space exploration methods can be applied to a much smaller state space without missing a counterexample. Our method explores the nature of networked …


Engagingness And Responsiveness Behavior Models On The Enron Email Network And Its Application To Email Reply Order Prediction, Byung-Won On, Ee Peng Lim, Jing Jiang, Loo Nin Teow Jan 2013

Engagingness And Responsiveness Behavior Models On The Enron Email Network And Its Application To Email Reply Order Prediction, Byung-Won On, Ee Peng Lim, Jing Jiang, Loo Nin Teow

Research Collection School Of Computing and Information Systems

In email networks, user behaviors affect the way emails are sent and replied. While knowing these user behaviors can help to create more intelligent email services, there has not been much research into mining these behaviors. In this paper, we investigate user engagingness and responsiveness as two interaction behaviors that give us useful insights into how users email one another. Engaging users are those who can effectively solicit responses from other users. Responsive users are those who are willing to respond to other users. By modeling such behaviors, we are able to mine them and to identify engaging or responsive …


Valuation Of Participation In Social Gaming, Kwansoo Kim, Byungjoon Yoo, Robert J. Kauffman Jan 2013

Valuation Of Participation In Social Gaming, Kwansoo Kim, Byungjoon Yoo, Robert J. Kauffman

Research Collection School Of Computing and Information Systems

This study examines the value of the time that a user spends to participate in a social game. We focus on how a massive multiplayer online role-playing game (MMORPG) vendor can establish prices to encourage participation and retain its players. We estimate value through an application of the hedonic pricing model and analyze a data set for an MMORPG in Korea. The results permit us to estimate the value of game-playing time in monetary terms. Based on our empirical results, we propose an economic model and conduct numerical simulation to show how a game vendor can apply differential pricing in …


Sensor Feature Selection And Combination For Stress Identification Using Combinatorial Fusion, Yong Deng, Zhonghai Wu, Chao-Hsien Chu, Qixun Zhang, D. Frank Hsu Jan 2013

Sensor Feature Selection And Combination For Stress Identification Using Combinatorial Fusion, Yong Deng, Zhonghai Wu, Chao-Hsien Chu, Qixun Zhang, D. Frank Hsu

Research Collection School Of Computing and Information Systems

The identification of stressfulness under certain driving condition is an important issue for safety, security and health. Sensors and systems have been placed or implemented as wearable devices for drivers. Features are extracted from the data collected and combined to predict symptoms. The challenge is to select the feature set most relevant for stress. In this paper, we propose a feature selection method based on the performance and the diversity between two features. The feature sets selected are then combined using a combinatorial fusion. We also compare our results with other combination methods such as naïve Bayes, support vector machine, …


Symbolic Model-Checking Of Stateful Timed Csp Using Bdd And Digitization, Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong Dec 2012

Symbolic Model-Checking Of Stateful Timed Csp Using Bdd And Digitization, Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

Stateful Timed CSP has been recently proposed to model (and verify) hierarchical real-time systems. It is an expressive modeling language which combines data structure/operations, complicated control flows (modeled using compositional process operators adopted from Timed CSP), and real-time requirements like deadline and within. It has been shown that Stateful Timed CSP is equivalent to closed timed automata with silent transitions, which implies that the timing constraints of Stateful Timed CSP can be captured using explicit tick events, through digitization. In order to tackle the state space explosion problem, we develop a BDD-based symbolic model checking approach to verify Stateful Timed …


Grandparents As Guards: A Game Theoretic Analysis Of Inheritance And Post Marital Residence In A World Of Uncertain Paternity, Brishti Guha Dec 2012

Grandparents As Guards: A Game Theoretic Analysis Of Inheritance And Post Marital Residence In A World Of Uncertain Paternity, Brishti Guha

Research Collection School Of Economics

I unify the following (1) men face paternal uncertainty while women do not face maternal uncertainty, (2) putative fathers and paternal kin care about true paternity, (3) paternity confidence is systematically lower in matrilocal cultures than in patrilocal ones, (4) inheritance tends to be patrilineal in high paternity confidence cultures and matrilineal in low confidence ones, and (5) most societies with patrilineal inheritance were patrilocal while most societies with matrilineal inheritance were matrilocal. I model the co-evolution of inheritance patterns and post-marital residence patterns - and their relationship with paternity uncertainty. Using a game theoretic model, I examine how a …


The Impact Of Macro Socio-Economic Drivers And Fiscal Policy On Expenditure Allocation And Attribute Preferences, Anirban Mukherjee, Andre Bonfrer Dec 2012

The Impact Of Macro Socio-Economic Drivers And Fiscal Policy On Expenditure Allocation And Attribute Preferences, Anirban Mukherjee, Andre Bonfrer

Research Collection Lee Kong Chian School Of Business

Our article investigates the effect of macro socio-economic drivers on Australian households’ allocation of expenditure in a category (household appliances) and conditional on the allocated category expenditure, preferences for products (clothes washers) within the category. At the category-level, we quantify the effect of changes in social mobility, disposable income, housing prices and the 2009 stimulus payments on purchase propensity and expenditure. At the product-level, we investigate how households trade off between price, energy efficiency and loading capacity conditional on allocated category expenditure, measuring nonhomotheticity in preferences. We use the model to study a number of hypothetical scenarios, where we simulate …


The Effectiveness Of Trading Halts And Investor Trading Performance, Nareerat Taechapiroontong, Charlie Charoenwong, Chiyachantana N. Chiraphol, Radchda Lurang Dec 2012

The Effectiveness Of Trading Halts And Investor Trading Performance, Nareerat Taechapiroontong, Charlie Charoenwong, Chiyachantana N. Chiraphol, Radchda Lurang

Research Collection Lee Kong Chian School Of Business

This paper examines the effectiveness of trading halts and the trading performance of different types of investors or traders during halts in an Asian emerging equity market. We use trade-by-trade data flagged by types of traders between January 1999 and December 2007. The results suggest that trading halts improve the efficiency of the market by reducing the information asymmetry and stabilizing the market. Trading halts serve as devices to facilitate a price discovery process by giving investors opportunity to adjust their trading interests and reaction to the material information. Our findings show that return and volatility tend to revert to …


Validity Evidence For The Situational Judgment Test Paradigm In Emotional Intelligence Measurement, Nele Libbrecht, Filip Lievens Dec 2012

Validity Evidence For The Situational Judgment Test Paradigm In Emotional Intelligence Measurement, Nele Libbrecht, Filip Lievens

Research Collection Lee Kong Chian School Of Business

To date, various measurement approaches have been proposed to assess emotional intelligence (EI). Recently, two new EI tests have been developed based on the situational judgment test (SJT) paradigm: the Situational Test of Emotional Understanding (STEU) and the Situational Test of Emotion Management (STEM). Initial attempts have been made to examine the construct-related validity of these new tests; we extend these findings by placing the tests in a broad nomological network. To this end, 850 undergraduate students completed a personality inventory, a cognitive ability test, a self-report EI test, a performance-based EI measure, the STEU, and the STEM. The SJT-based …


Designing Selection Systems For Medicine: The Importance Of Balancing Predictive And Political Validity In High-Stakes Selection Contexts, Fiona Patterson, Filip Lievens, Máire Kerrin, Lara Zibarras, Bernd Carette Dec 2012

Designing Selection Systems For Medicine: The Importance Of Balancing Predictive And Political Validity In High-Stakes Selection Contexts, Fiona Patterson, Filip Lievens, Máire Kerrin, Lara Zibarras, Bernd Carette

Research Collection Lee Kong Chian School Of Business

Selection into medical education and training is a high-stakes process. A key unanswered issue is the effectiveness of measuring noncognitive predictors via both low-fidelity and high-fidelity selection approaches in this high-stakes context. We review studies investigating the effectiveness of multiple selection instruments in terms of predictive validity, incremental validity, and applicant reactions in both entry-level and advanced-level medical selection. Our results show that the situational judgment test (SJT) is the best single predictor of performance, operationalized in multiple ways. In addition, the low-fidelity SJT has incremental predictive power over cognitively oriented tests, and high-fidelity assessment center (AC) exercises add incremental …


Intraday Price Discovery In Emerging Equity Market: Analysis Of Set50 Index, Set 50 Index Futures And Thaidex Set50 (Tdex), Chiraphol New Chiyachantana, Julaluck Choochuay, Tanakorn Likitapiwat Dec 2012

Intraday Price Discovery In Emerging Equity Market: Analysis Of Set50 Index, Set 50 Index Futures And Thaidex Set50 (Tdex), Chiraphol New Chiyachantana, Julaluck Choochuay, Tanakorn Likitapiwat

Research Collection Lee Kong Chian School Of Business

This study employs Vector Error Correction Model (VECM), information share and conditional information share methods to investigate price discovery in SET50 Index (cash index), SET50 Index Futures (futures index) and ThaiDex SET50 (exchange traded fund). Our findings indicate that there exists a long run relationship among three markets and a multi-market trading of derivatives markets and its underlying asset helps improve price efficiency. With respect to the degree of price formation process, SET50 Index Futures contributes most in price discovery process, followed by SET50 Index and ThaiDex SET50.


Banks' Survival During The Financial Crisis: The Role Of Regulatory Reporting Quality, Jeffrey Ng, Tjomme O. Rusticus Dec 2012

Banks' Survival During The Financial Crisis: The Role Of Regulatory Reporting Quality, Jeffrey Ng, Tjomme O. Rusticus

Research Collection School Of Accountancy

In this paper, we investigate the effect of bank transparency before the crisis on bank stability during the financial crisis that erupted in 2008. Using a large sample of private and public commercial banks in the United States, we find that transparency enhances stability. We use two measures of transparency. We develop a new measure of financial reporting transparency based on loan loss provision estimation errors. We corroborate our findings using a second measure based on the incidence of accounting restatements. We show that lower transparency before the crisis is associated with higher non-performing loans and lower profitability at the …


Eliciting Usable Gestures For Multi-Display Environments, Teddy Seyed, Chris Burns, Mario Costa Sousa, Frank Maurer, Anthony Tang Dec 2012

Eliciting Usable Gestures For Multi-Display Environments, Teddy Seyed, Chris Burns, Mario Costa Sousa, Frank Maurer, Anthony Tang

Research Collection School Of Computing and Information Systems

Multi-display environments (MDEs) have advanced rapidly in recent years, incorporating multi-touch tabletops, tablets, wall displays and even position tracking systems. Designers have proposed a variety of interesting gestures for use in an MDE, some of which involve a user moving their hands, arms, body or even a device itself. These gestures are often used as part of interactions to move data between the various components of an MDE, which is a longstanding research problem. But designers, not users, have created most of these gestures and concerns over implementation issues such as recognition may have influenced their design. We performed a …


Visualization For Anomaly Detection And Data Management By Leveraging Network, Sensor And Gis Techniques, Zhaoxia Wang, Chee Seng Chong, Rick S. M. Goh, Wanqing Zhou, Dan Peng, Hoong Chor Chin Dec 2012

Visualization For Anomaly Detection And Data Management By Leveraging Network, Sensor And Gis Techniques, Zhaoxia Wang, Chee Seng Chong, Rick S. M. Goh, Wanqing Zhou, Dan Peng, Hoong Chor Chin

Research Collection School Of Computing and Information Systems

This paper studies the importance of visualization for discerning and interpreting patterns of data and its application for solving real problems, such as anomaly detection and data management. There are various ways to realize visualization to cater to the needs of numerous real life applications. Depending on needs, a combination of some of these ways may be required for presenting an effective visualization. The authors present visualization schemes for anomaly detection/condition monitoring and data management by leveraging network techniques and combining them with modern techniques such as sensor, database, mobile communication, GPS and GIS techniques. Two case studies are presented …


Extracting And Normalizing Entity-Actions From Users' Comments, Swapna Gottipati, Jing Jiang Dec 2012

Extracting And Normalizing Entity-Actions From Users' Comments, Swapna Gottipati, Jing Jiang

Research Collection School Of Computing and Information Systems

With the growing popularity of opinion-rich resources on the Web, new opportunities and challenges arise and aid people in actively using such information to understand the opinions of others. Opinion mining process currently focuses on extracting the sentiments of the users on products, social, political and economical issues. In many instances, users not only express their sentiments but also contribute their ideas, requests and suggestions through comments. Such comments are useful for domain experts and are referred to as actionable content. Extracting actionable knowledge from online social media has attracted a growing interest from both academia and the industry. We …


Reputation As Public Policy For Internet Security: A Field Study, Qian Tang, Leigh L. Linden, John S. Quarterman, Andrew Whinston Dec 2012

Reputation As Public Policy For Internet Security: A Field Study, Qian Tang, Leigh L. Linden, John S. Quarterman, Andrew Whinston

Research Collection School Of Computing and Information Systems

Cybersecurity is a national priority in this big data era. Because of the lack of incentives and the existence of negative externality, companies often underinvest in addressing security risks and accidents, despite government and industry recommendations. In the present article, we propose a method that utilizes reputation through information disclosure to motivate companies to behave pro-socially, improving their Internet security. Using outbound spam as a proxy for Internet security, we conducted a quasiexperimental field study for eight countries through SpamRankings.net. This outgoingspam-based study shows that information disclosure on outgoing spam can help reduce outgoing spam, approximately by 16 percent. This …


Do Hackers Seek Variety? An Empirical Analysis Of Website Defacements, Kok Wei Ooi, Seung-Hyun Kim, Qiu-Hong Wang, Kai Lung Hui Dec 2012

Do Hackers Seek Variety? An Empirical Analysis Of Website Defacements, Kok Wei Ooi, Seung-Hyun Kim, Qiu-Hong Wang, Kai Lung Hui

Research Collection School Of Computing and Information Systems

The importance of securing the cyberspace is higher than ever along with the evolution of cyber attacks launched by hackers with malicious intention. However, there has been little research to understand the hackers who are the most important agents determining the landscape of information security. This paper investigates the behaviors of hackers using a longitudinal dataset of defacement attacks. Based on theories of economics of criminal behaviors and variety seeking, we find that hackers seek variety in choosing their victims in terms of region, hacking method, and the type of operating systems; as their prior experience is focused in terms …


Lagrangian Relaxation For Large-Scale Multi-Agent Planning, Geoffrey J. Gordon, Pradeep Varakantham, William Yeoh, Hoong Chuin Lau, Ajay S. Aravamudhan, Shih-Fen Cheng Dec 2012

Lagrangian Relaxation For Large-Scale Multi-Agent Planning, Geoffrey J. Gordon, Pradeep Varakantham, William Yeoh, Hoong Chuin Lau, Ajay S. Aravamudhan, Shih-Fen Cheng

Research Collection School Of Computing and Information Systems

Multi-agent planning is a well-studied problem with various applications including disaster rescue, urban transportation and logistics, both for autonomous agents and for decision support to humans. Due to computational constraints, existing research typically focuses on one of two scenarios: unstructured domains with many agents where we are content with heuristic solutions, or domains with small numbers of agents or special structure where we can provide provably near-optimal solutions. By contrast, in this paper, we focus on providing provably near-optimal solutions for domains with large numbers of agents, by exploiting a common domain-general property: if individual agents each have limited influence …


Structural And Functional Analysis Of Multi-Interface Domains, Liang Zhao, Steven C. H. Hoi, Limsoon Wong, Tobias Hamp, Jinyan Li Dec 2012

Structural And Functional Analysis Of Multi-Interface Domains, Liang Zhao, Steven C. H. Hoi, Limsoon Wong, Tobias Hamp, Jinyan Li

Research Collection School Of Computing and Information Systems

A multi-interface domain is a domain that can shape multiple and distinctive binding sites to contact with many other domains, forming a hub in domain-domain interaction networks. The functions played by the multiple interfaces are usually different, but there is no strict bijection between the functions and interfaces as some subsets of the interfaces play the same function. This work applies graph theory and algorithms to discover fingerprints for the multiple interfaces of a domain and to establish associations between the interfaces and functions, based on a huge set of multi-interface proteins from PDB. We found that about 40% of …


Cost-Sensitive Online Classification, Jialei Wang, Peilin Zhao, Steven C. H. Hoi Dec 2012

Cost-Sensitive Online Classification, Jialei Wang, Peilin Zhao, Steven C. H. Hoi

Research Collection School Of Computing and Information Systems

Both cost-sensitive classification and online learning have been extensively studied in data mining and machine learning communities, respectively. However, very limited study addresses an important intersecting problem, that is, “Cost-Sensitive Online Classification". In this paper, we formally study this problem, and propose a new framework for Cost-Sensitive Online Classification by directly optimizing cost-sensitive measures using online gradient descent techniques. Specifically, we propose two novel cost-sensitive online classification algorithms, which are designed to directly optimize two well-known cost-sensitive measures: (i) maximization of weighted sum of sensitivity and specificity, and (ii) minimization of weighted misclassification cost. We analyze the theoretical bounds of …


Agent-Based Virtual Humans In Co-Space: An Evaluative Study, Yilin Kang, Ah-Hwee Tan, Fiona Fui-Hoon Nah Dec 2012

Agent-Based Virtual Humans In Co-Space: An Evaluative Study, Yilin Kang, Ah-Hwee Tan, Fiona Fui-Hoon Nah

Research Collection School Of Computing and Information Systems

Co-Space refers to interactive virtual environment modelled after the real world in terms of look-and-feel, functionalities and services. We have developed a 3D virtual world named Nan yang Technological University (NTU) Co-Space populated with virtual human characters. Three key requirements of realistic virtual humans in the virtual world have been identified, namely (1) autonomy: agents can function on their own, (2) interactivity: agents can interact naturally with players, and (3) personality: agents can exhibit human traits and characteristics. Working towards these challenges, we propose a brain-inspired agent architecture that integrates goal-directed autonomy, natural language interaction and human-like personality. We conducted …


Coder Reliability And Misclassification In The Human Coding Of Party Manifestos, Slava Mikhaylov, Michael Laver, Kenneth Benoit Dec 2012

Coder Reliability And Misclassification In The Human Coding Of Party Manifestos, Slava Mikhaylov, Michael Laver, Kenneth Benoit

Research Collection School of Social Sciences

The Comparative Manifesto Project (CMP) provides the only time series of estimated party policy positions in political science and has been extensively used in a wide variety of applications. Recent work (e.g., Benoit, Laver, and Mikhaylov 2009; Klingemann et al. 2006) focuses on nonsystematic sources of error in these estimates that arise from the text generation process. Our concern here, by contrast, is with error that arises during the text coding process since nearly all manifestos are coded only once by a single coder. First, we discuss reliability and misclassification in the context of hand-coded content analysis methods. Second, we …


Aesthetic Constructions Of Korea Nationalism: Spectacle, Politics And History, Yooil Bae Dec 2012

Aesthetic Constructions Of Korea Nationalism: Spectacle, Politics And History, Yooil Bae

Research Collection School of Social Sciences

No abstract provided.


Optimal Design Of P-Value Consistent Step-Up Procedures For Multiple Comparisons With A Control In Direction-Mixed Families, Koon Shing Kwong, Siu Hung Cheung Dec 2012

Optimal Design Of P-Value Consistent Step-Up Procedures For Multiple Comparisons With A Control In Direction-Mixed Families, Koon Shing Kwong, Siu Hung Cheung

Research Collection School Of Economics

It is common in clinical studies for several treatments to be compared to a control. Most of the related statistical techniques have been developed to accommodate inferential families in which all hypotheses are either one- or two-sided such that the familywise error rate is controlled at a specified level. Several multiple testing procedures were recently proposed to perform multiple comparisons with a control in direction-mixed families that contain a mixture of one- and two-sided inferences. Of these procedures, the p-value consistent step-up procedure is found to be superior in terms of its power and p-value consistent property. In this paper, …


Contracting Over Prices, Shurojit Chatterji, Sayantan Ghosal Dec 2012

Contracting Over Prices, Shurojit Chatterji, Sayantan Ghosal

Research Collection School Of Economics

We define a solution concept, perfectly contracted equilibrium, for an intertemporal exchange economy where agents are simultaneously price takers in spot commodity markets while engaging inefficient, non-Walrasian contracting over future prices. Without requiring that agents have perfect foresight, we show that perfectly contracted equilibrium outcomes are a subset of Pareto optimal allocations. It is a robust possibility for perfectly contracted equilibrium outcomes to differ from Arrow-Debreu equilibrium outcomes. We show that both centralized banking and retrading with bilateral contracting can lead to perfectly contracted equilibria.


Taking Crime Out Of Crime Business, Mark James Findlay, Nafis Hanif Dec 2012

Taking Crime Out Of Crime Business, Mark James Findlay, Nafis Hanif

Research Collection Yong Pung How School Of Law

It is one thing to assert that conventional market analysis is critically useful in understanding criminal enterprise. It is more challenging to suggest that corrupt and compromised legal regulation interacts with other critical market variables to maximise market advantage for crime business in a similar manner to legitimate regulatory forces in their protection and enhancement of legitimate business enterprise. The central argument of this paper is that crime business mirrors other business forms when considered in terms of critical market variables, and that in particular regulatory forces when inverted from their original purposes can influence market conditions in the same …


Shall The Twain Never Meet? Competing Narratives And Discourses Of The Rule Of Law In Singapore, Jack Tsen-Ta Lee Dec 2012

Shall The Twain Never Meet? Competing Narratives And Discourses Of The Rule Of Law In Singapore, Jack Tsen-Ta Lee

Research Collection Yong Pung How School Of Law

This article aims to assess the role played by the rule of law in discourse by critics of the Singapore Government’s policies and in the Government’s responses to such criticisms. It argues that in the past the two narratives clashed over conceptions of the rule of law, but there is now evidence of convergence of thinking as regards the need to protect human rights, though not necessarily as to how the balance between rights and other public interests should be struck. The article also examines why the rule of law must be regarded as a constitutional doctrine in Singapore, the …


Lagrangian Relaxation For Large-Scale Multi-Agent Planning, Geoff Gordon, Pradeep Varakantham, William Yeoh, Hoong Chuin Lau, Shih-Fen Cheng Dec 2012

Lagrangian Relaxation For Large-Scale Multi-Agent Planning, Geoff Gordon, Pradeep Varakantham, William Yeoh, Hoong Chuin Lau, Shih-Fen Cheng

Research Collection School Of Computing and Information Systems

Multi-agent planning is a well-studied problem with various applications including disaster rescue, urban transportation and logistics, both for autonomous agents and for decision support to humans. Due to computational constraints, existing research typically focuses on one of two scenarios: unstructured domains with many agents where we are content with heuristic solutions, or domains with small numbers of agents or special structure where we can provide provably near-optimal solutions. By contrast, in this paper, we focus on providing provably near-optimal solutions for domains with large numbers of agents, by exploiting a common domain-general property: if individual agents each have limited influence …


Ibinhunt: Binary Hunting With Inter-Procedural Control Flow, Jiang Ming, Meng Pan, Debin Gao Dec 2012

Ibinhunt: Binary Hunting With Inter-Procedural Control Flow, Jiang Ming, Meng Pan, Debin Gao

Research Collection School Of Computing and Information Systems

Techniques have been proposed to find the semantic differences between two binary programs when the source code is not available. Analyzing control flow, and in particular, intra-procedural control flow, has become an attractive technique in the latest binary diffing tools since it is more resistant to syntactic, but non-semantic, differences. However, this makes such techniques vulnerable to simple function obfuscation techniques (e.g., function inlining) attackers any malware writers could use. In this paper, we first show function obfuscation as an attack to such binary diffing techniques, and then propose iBinHunt which uses deep taint and automatic input generation to find …