Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00040
Sandro Preto, F. Manyà, M. Finger
We define a new reduction from the Boolean Maximum Satisfiability problem (MaxSAT) to the Satisfiability problem (SAT) of Łukasiewicz logic. This reduction is particularly interesting from a problem solving perspective because it shows how to encode cardinality constraints using Łukasiewicz logic. Moreover, we describe how to implement a MaxSAT solver using the proposed reduction.
{"title":"Linking Łukasiewicz Logic and Boolean Maximum Satisfiability","authors":"Sandro Preto, F. Manyà, M. Finger","doi":"10.1109/ISMVL57333.2023.00040","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00040","url":null,"abstract":"We define a new reduction from the Boolean Maximum Satisfiability problem (MaxSAT) to the Satisfiability problem (SAT) of Łukasiewicz logic. This reduction is particularly interesting from a problem solving perspective because it shows how to encode cardinality constraints using Łukasiewicz logic. Moreover, we describe how to implement a MaxSAT solver using the proposed reduction.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115451148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00043
D. MacFarlane, H. Shahoei, Ifeanyi G. Achu, Evan J Stewart, Wiliam V. Oxford, Mitchell A. Thornton
Physically Unclonable Function (PUF) optical circuits are described and implemented within a Photonic Integrated Circuit (PIC) to enhance certain security properties such as device authentication, anti-tamper properties, or for use as a root-of-trust value. Optical processing is advantageous for security applications such as these since they are less susceptible to eavesdropping and side channel monitoring via the difficulty of observing electromagnetic radiation emissions during PIC operation. We employ the use of State of Output Polarization (SOP) variability arising from inherent stresses, strains and manufacturing tolerances present within a fabricated PIC. A customized optical signal processing element is used in our PUF circuit that contains a very narrow "trench" structure with tiny structural variations induced during fabrication that enhances SOP variability. The tiny structural changes in fabricated PICs are fixed resulting in repeatable SOP variation of the optical signals. To avoid a need for PUF calibration, to increase robustness with respect to input power level variation, measurement device resolution and sensitivity; we show that PUF functionality can be conveniently modeled as a discrete MultipleValued Logic (MVL) function. The proposed MVL PUF formulation avoids the need to characterize and measure exact polarization states as well as enabling the use of PUF output measurement devices that have a wide range of resolution and sensitivity specifications. Several different PUF circuits are implemented within a single fabricated PIC and are experimentally evaluated to demonstrate its efficacy.
{"title":"Multiple-Valued Logic Physically Unclonable Function in Photonic Integrated Circuits","authors":"D. MacFarlane, H. Shahoei, Ifeanyi G. Achu, Evan J Stewart, Wiliam V. Oxford, Mitchell A. Thornton","doi":"10.1109/ISMVL57333.2023.00043","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00043","url":null,"abstract":"Physically Unclonable Function (PUF) optical circuits are described and implemented within a Photonic Integrated Circuit (PIC) to enhance certain security properties such as device authentication, anti-tamper properties, or for use as a root-of-trust value. Optical processing is advantageous for security applications such as these since they are less susceptible to eavesdropping and side channel monitoring via the difficulty of observing electromagnetic radiation emissions during PIC operation. We employ the use of State of Output Polarization (SOP) variability arising from inherent stresses, strains and manufacturing tolerances present within a fabricated PIC. A customized optical signal processing element is used in our PUF circuit that contains a very narrow \"trench\" structure with tiny structural variations induced during fabrication that enhances SOP variability. The tiny structural changes in fabricated PICs are fixed resulting in repeatable SOP variation of the optical signals. To avoid a need for PUF calibration, to increase robustness with respect to input power level variation, measurement device resolution and sensitivity; we show that PUF functionality can be conveniently modeled as a discrete MultipleValued Logic (MVL) function. The proposed MVL PUF formulation avoids the need to characterize and measure exact polarization states as well as enabling the use of PUF output measurement devices that have a wide range of resolution and sensitivity specifications. Several different PUF circuits are implemented within a single fabricated PIC and are experimentally evaluated to demonstrate its efficacy.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125150964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00023
C. Moraga, R. Stankovic, M. Stankovic
The Reed-Muller-Fourier spectrum of p-valued (p prime, p > 2) Maiorana-McFarland bent functions is studied. It is shown that this spectrum exhibits a unique structure, which allows characterizing these functions and to distinguish them from other p-valued bent functions.
研究了p值(p '， p > 2) Maiorana-McFarland弯曲函数的Reed-Muller-Fourier谱。结果表明，该谱具有独特的结构，可以表征这些函数，并将它们与其他p值弯曲函数区分开来。
{"title":"Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland Bent Functions","authors":"C. Moraga, R. Stankovic, M. Stankovic","doi":"10.1109/ISMVL57333.2023.00023","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00023","url":null,"abstract":"The Reed-Muller-Fourier spectrum of p-valued (p prime, p > 2) Maiorana-McFarland bent functions is studied. It is shown that this spectrum exhibits a unique structure, which allows characterizing these functions and to distinguish them from other p-valued bent functions.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123748161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00029
Yosuke Iijima, Kazuharu Nakajima, Y. Yuminaka
This study presents an evaluation methodology using a linear mixture model (LMM) with 2-dimensional (2D) symbol mapping for multi-valued data transmission. A 2D map of the transmitted signal can be visualized on a 2D plane. The LMM enables numerical modeling of symbol distribution characteristics. Simulation results showed that the characteristics of the received end-symbol distribution can be quantified by adjusting and determining the LMM parameters from the measured symbols using a genetic algorithm, even in the absence of an eye aperture in the eye diagram evaluation. Additionally, by extracting features of the distribution of multilevel received symbols with the LMM, as in unsupervised learning, unknown received symbols can be clustered with the LMM. Therefore, symbol determination is possible even when the eye is completely closed owing to severe intersymbol interference (ISI). The results of the 4-level pulse amplitude modulation transmission simulation show that it is possible to completely cluster and determine the received symbols, even when the eye is completely closed.
{"title":"Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture Model","authors":"Yosuke Iijima, Kazuharu Nakajima, Y. Yuminaka","doi":"10.1109/ISMVL57333.2023.00029","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00029","url":null,"abstract":"This study presents an evaluation methodology using a linear mixture model (LMM) with 2-dimensional (2D) symbol mapping for multi-valued data transmission. A 2D map of the transmitted signal can be visualized on a 2D plane. The LMM enables numerical modeling of symbol distribution characteristics. Simulation results showed that the characteristics of the received end-symbol distribution can be quantified by adjusting and determining the LMM parameters from the measured symbols using a genetic algorithm, even in the absence of an eye aperture in the eye diagram evaluation. Additionally, by extracting features of the distribution of multilevel received symbols with the LMM, as in unsupervised learning, unknown received symbols can be clustered with the LMM. Therefore, symbol determination is possible even when the eye is completely closed owing to severe intersymbol interference (ISI). The results of the 4-level pulse amplitude modulation transmission simulation show that it is possible to completely cluster and determine the received symbols, even when the eye is completely closed.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125741183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00039
Sandro Preto, F. Manyà, M. Finger
We propose new benchmarks for problems related to Łukasiewicz Infinitely-valued Logic and discuss methods for generating them. Such benchmarks comprehend instances that state properties about neural networks. In particular, reachability properties yield satisfiability instances and robustness properties yield logical consequence instances. We also present the results of empirical experiments where the proposed benchmarks were run in solvers based on SMT and MILP technologies. In this way, we are able, on the one hand, to compare the performance of different solvers and, on the other hand, to delve deeper into the investigation of neural network formal verification.
{"title":"Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks","authors":"Sandro Preto, F. Manyà, M. Finger","doi":"10.1109/ISMVL57333.2023.00039","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00039","url":null,"abstract":"We propose new benchmarks for problems related to Łukasiewicz Infinitely-valued Logic and discuss methods for generating them. Such benchmarks comprehend instances that state properties about neural networks. In particular, reachability properties yield satisfiability instances and robustness properties yield logical consequence instances. We also present the results of empirical experiments where the proposed benchmarks were run in solvers based on SMT and MILP technologies. In this way, we are able, on the one hand, to compare the performance of different solvers and, on the other hand, to delve deeper into the investigation of neural network formal verification.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133766231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00044
Kalle Ngo, Ruize Wang, E. Dubrova, Nils Paulsrud
Public-key cryptographic schemes currently in use depend on the intractability of certain mathematical problems such as integer factorization or the discrete logarithm. However, Shor’s algorithm can solve these problems in polynomial time if large-scale quantum computers become available. This will compromise the security of today’s public-key cryptosystems. To address this issue, new public-key cryptographic primitives are being developed. One of them is Saber whose security relies on the Learning With Rounding (LWR) problem that is believed to be hard for quantum computers. The resistance of unprotected and first-order masked implementations of Saber to side-channel attacks has been already investigated. In this paper, we demonstrate the first successful message and secret key recovery attacks on the second- and third-order masked implementations of Saber in ARM Cortex-M4 CPU by deep learning-based power analysis. Our experimental results show that currently available software implementations of Saber need better protection.
{"title":"Higher-Order Boolean Masking Does Not Prevent Side-Channel Attacks on LWE/LWR-based PKE/KEMs","authors":"Kalle Ngo, Ruize Wang, E. Dubrova, Nils Paulsrud","doi":"10.1109/ISMVL57333.2023.00044","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00044","url":null,"abstract":"Public-key cryptographic schemes currently in use depend on the intractability of certain mathematical problems such as integer factorization or the discrete logarithm. However, Shor’s algorithm can solve these problems in polynomial time if large-scale quantum computers become available. This will compromise the security of today’s public-key cryptosystems. To address this issue, new public-key cryptographic primitives are being developed. One of them is Saber whose security relies on the Learning With Rounding (LWR) problem that is believed to be hard for quantum computers. The resistance of unprotected and first-order masked implementations of Saber to side-channel attacks has been already investigated. In this paper, we demonstrate the first successful message and secret key recovery attacks on the second- and third-order masked implementations of Saber in ARM Cortex-M4 CPU by deep learning-based power analysis. Our experimental results show that currently available software implementations of Saber need better protection.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115806996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00030
Tsutomu Sasao
In a partially defined classification function, each input combination represents features of an example, while the output represents the class of the example. Each variable may have different radix. In this paper, we show a method to minimize the number of variables. Combined with a multiplevalued logic minimizer, data sets of examples are represented by a compact set of rules. Experimental results using University of California Irvine (UCI) benchmark functions show the effectiveness of the approach, especially for imbalanced data sets. The results are compared with J48 and JRIP. This approach produces explainable 100% correct rules, which are promising for bio-medical applications.
{"title":"Data Mining Using Multi-Valued Logic Minimization","authors":"Tsutomu Sasao","doi":"10.1109/ISMVL57333.2023.00030","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00030","url":null,"abstract":"In a partially defined classification function, each input combination represents features of an example, while the output represents the class of the example. Each variable may have different radix. In this paper, we show a method to minimize the number of variables. Combined with a multiplevalued logic minimizer, data sets of examples are represented by a compact set of rules. Experimental results using University of California Irvine (UCI) benchmark functions show the effectiveness of the approach, especially for imbalanced data sets. The results are compared with J48 and JRIP. This approach produces explainable 100% correct rules, which are promising for bio-medical applications.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121927367","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ismvl57333.2023.00011
{"title":"Keynote III: Card-based Cryptography: How to Securely Compute Multiple-valued Functions Using a Deck of Cards","authors":"","doi":"10.1109/ismvl57333.2023.00011","DOIUrl":"https://doi.org/10.1109/ismvl57333.2023.00011","url":null,"abstract":"","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122020316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Neonatal chronic lung disease (CLD) is the most common and serious lung disease in premature infants. No previous studies have used chest X-ray images. In this study, we propose to predict and classify patients with and without CLD from neonatal chest X-ray images using a convolutional neural network (CNN). We conducted a 5-segment cross-validation experiment using chest X-ray images of 115 subjects at 7 days of age. Accuracy and AUC values of 0.6 and 0.642 were obtained, respectively. Future work includes the development of an algorithm suitable for neonatal data and the estimation of other age groups.
{"title":"Predicting the Development of Chronic Lung Disease in Neonataes from Chest X-ray Images Using Deep Learning","authors":"Ryunosuke Maeda, Daisuke Fujita, Kosuke Tanaka, Jyunichi Ozawa, Mitsuhiro Haga, Naoyuki Miyahara, Fumihiko Nanba, Syoji Kobashi","doi":"10.1109/ISMVL57333.2023.00020","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00020","url":null,"abstract":"Neonatal chronic lung disease (CLD) is the most common and serious lung disease in premature infants. No previous studies have used chest X-ray images. In this study, we propose to predict and classify patients with and without CLD from neonatal chest X-ray images using a convolutional neural network (CNN). We conducted a 5-segment cross-validation experiment using chest X-ray images of 115 subjects at 7 days of age. Accuracy and AUC values of 0.6 and 0.642 were obtained, respectively. Future work includes the development of an algorithm suitable for neonatal data and the estimation of other age groups.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121019753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-05-01DOI: 10.1109/ISMVL57333.2023.00027
T. Waho, Akihisa Koyama, Hitoshi Hayashi
The progress over the last 30 years on ΔΣ-domain signal processing (ΔΣ-SP) is reviewed, focusing on basic circuits such as adders, multipliers, and filters. Based on bitstream operations, ΔΣ-SP shares many advantages with stochastic computing (SC). Moreover, the noise-shaping properties inherent to the ΔΣ modulation play a crucial role in overcoming the challenges in SC. Neural network applications, a promising field in the future, are also described.
{"title":"Delta-Sigma Domain Signal Processing: A Review with Relevant Topics in Stochastic Computing","authors":"T. Waho, Akihisa Koyama, Hitoshi Hayashi","doi":"10.1109/ISMVL57333.2023.00027","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00027","url":null,"abstract":"The progress over the last 30 years on ΔΣ-domain signal processing (ΔΣ-SP) is reviewed, focusing on basic circuits such as adders, multipliers, and filters. Based on bitstream operations, ΔΣ-SP shares many advantages with stochastic computing (SC). Moreover, the noise-shaping properties inherent to the ΔΣ modulation play a crucial role in overcoming the challenges in SC. Neural network applications, a promising field in the future, are also described.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116952705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：