[pt] Esta dissertação discute a relação existente entre estéticas da literatura contemporânea brasileira, aqui compreendida como aquela produzida do final dos anos 1950 aos dias atuais, e a perspectiva psicanalítica da queda do nome-do-pai lacaniano. Esse ponto de vista teórico percebe mudanças significativas nos comportamentos e na criação artística do chamado sujeito contemporâneo, para ele surgido com o fim da Primeira Guerra Mundial, todas elas perpassadas pela instauração de uma economia psíquica fundada no imperativo de gozo, em detrimento daquela fundada no recalque. A partir desse pensamento, discute-se aqui o que dessa nova economia psíquica está ou não presente em produções literárias compreendidas como contemporâneas no Brasil, levando em conta a enorme variedade de estéticas presente nesse período, e como cada uma dessas características se comporta em cada produção observada. Se é certo pensar que o sujeito contemporâneo, assim como o de outros tempos, tem suas especificidades, também o é levar em conta que tais traços vêm de lugares psicanalíticos e sociais, bem como interferem em suas produções artísticas e, portanto, literárias. É sob a observação de como isso ocorreu na literatura brasileira contemporânea que este texto se debruça. / [en] This work discusses the relationship that exists between Brazilian literature aesthetics, here understood as the one produced from the end of the 1950s to the current days and the psychoanalytic perspective of the fall of the Lacanian name of the father. This theoretical point of view sees significant changes in the behaviors and artistic creation of the one individual that s called contemporary and has emerged after the end of World War I, all changes went through the establishment of a psychic economy founded in the imperative of rejoicing, to the detriment of that founded on repression. From this thought on, it is discussed here what is present or not of this new psychic economy in literary productions understood as contemporary in Brazil, taking into account the huge variety of present aesthetics in this period, and how each of these characteristics behave in each production that is observed. If it s right to think that the contemporary individual, as the ones from other times, has its specificities, it is also to take it into account that such traces come from social and psychoanalytic places, as well as they interfere in their artistic productions and, therefore, literaries. It s under the observation of how it has occurred in contemporary Brazilian literature that this text focuses on.

Splines are a common mixed-initiative technique for road generation. A designer draws the shape of the curve but the mesh can be procedurally generated along the spline. This relationship improves the workflow of building roads in virtual environments and video games without taking away all of the control of the designer. Whilst this technique is useful when building single roads such as race tracks, it unfortunately struggles when dealing with more complex road networks that feature intersections. These intersections struggle with overlapping meshes and flickering textures without a straightforward solution. This problem significantly limits the usefulness of spline tools when generating roads. This paper aims to solve part of this problem by suggesting a method for detecting intersections in splines that support procedural mesh generation.

A challenge in today's society is to handle a large amount of vehicles traversing an intersection. Traffic lights are often used to control the traffic flow in these intersections. However, there are inefficiencies since the algorithms used to control the traffic lights do not perfectly adapt to the traffic situation. The purpose of this paper is to compare three different types of algorithms used in traffic control systems to find out how to minimize vehicle waiting times. A pretimed, a deterministic and a reinforcement learning algorithm were compared with each other. Test were conducted on a four-way intersection with various traffic demands using the program Simulation of Urban MObility (SUMO). The results showed that the deterministic algorithm performed best for all demands tested. The reinforcement learning algorithm performed better than the pretimed for low demands, but worse for varied and higher demands. The reasons behind these results are the deterministic algorithm's knowledge about vehicular movement and the negative effects the curse of dimensionality has on the training of the reinforcement learning algorithm. However, more research must be conducted to ensure that the results obtained are trustworthy in similar and different traffic situations. / En utmaning i dagens samhälle är att hantera en stor mängd fordon som kör igenom en korsning. Trafikljus används ofta för att kontrollera trafikflödena genom dessa korsningar. Det finns däremot ineffektiviteter eftersom algoritmerna som används för att kontrollera trafikljusen inte är perfekt anpassade till trafiksituationen. Syftet med denna rapport är att jämföra tre typer av algoritmer som används i trafiksystem för att undersöka hur väntetid för fordon kan minimeras. En tidsbaserad, en deterministisk och en förstärkande inlärning-algoritm jämfördes med varandra. Testerna utfördes på en fyrvägskorsning med olika trafikintensiteter med hjälp av programmet Simulation of Urban MObility (SUMO). Resultaten visade att den deterministiska algoritmen presterade bäst för alla olika trafikintensiteter. Inlärningsalgoritmen presterade bättre än den tidsbaserade på låga intensiteter, men sämre på varierande och högre intensiteter. Anledningarna bakom resultaten är att den deterministiska algoritmen har kunskap om hur fordon rör sig samt att dimensionalitetsproblem påverkar träningen av inlärningsalgoritmen negativt. Det krävs däremot mer forskning för att säkerställa att resultaten är pålitliga i liknande och annorlunda trafiksituationer.

Intersection Navigation plays a significant role in autonomous vehicle operation. This paper focuses on enhancing autonomous vehicle intersection navigation through advanced computer vision and Vehicle-to-Infrastructure (V2I) communication systems. The research unfolds in two phases. In the first phase, an approach utilizing YOLOv8s is proposed for precise traffic light detection and recognition, trained on the Small-Scale Traffic Light Dataset (S2TLD). The second phase establishes seamless connectivity between autonomous vehicles and traffic lights in a simulated Mississippi State University Autonomous Vehicle Simulation (MAVS) environment resembling a small city with multiple intersections. This V2I system enables the transmission of Signal Phase and Timing (SPaT) messages to vehicles, providing information on current traffic light phases and time until the next phase change which enables the vehicles to adjust their speed and behavior in real-time. The simulation demonstrates accurate traffic light detection, with vehicles receiving SPaT messages, showcasing the system’s effectiveness in a multi-intersection scenario.

Mobility is a topic of great interest in research and engineering since critical aspects such as safety, traffic efficiency, and environmental sustainability still represent wide open challenges for researchers and engineers. In this thesis, at first, we address the cooperative driving safety problem both from a centralized and decentralized perspective. Then we address the problem of optimal energy management of hybrid vehicles to improve environmental sustainability, and finally, we develop an intersection management systems for Connected Autonomous Vehicle to maximize the traffic efficiency at an intersection. To address the first two topics, we define a common framework. Both the cooperative safety and the energy management for Hybrid Electric Vehicle requires to model the driver behavior. In the first case, we are interested in evaluating the safety of the driver’s intentions, while in the second case, we are interested in predicting the future velocity profile to optimize energy management in a fixed time horizon. The framework is the Co-Driver, which is, in short, a bio-inspired agent able both to model and to imitate a human driver. It is based on a layered control structure based on the generation of atomic human-like longitudinal maneuvers that compete with each other like affordances. To address driving safety, the Co-Driver behaves like a safe driver, and its behavior is compared to the actual driver to understand if he/she is acting safely and providing warnings if not. In the energy management problem, the Co-Driver aims at imitating the driver to predict the future velocity. The Co-Driver generates a set of possible maneuvers and selects one of them, imitating the action selection process of the driver. At first, we address the problem of safety by developing and investigating a framework for Advanced Driving Assistance Systems (ADAS) built on the Co-Driver. We developed and investigated this framework in an innovative context of new intelligent road infrastructure, where vehicles and roads communicate. The infrastructure that allows the roads to interact with vehicles and the environment is the topic of a research project called SAFESTRIP. This project is about deploying innovative sensors and communication devices on the road that communicate with all vehicles. Including vehicles that are equipped with Vehicle-To-Everything (V2X) technology and vehicles that are not, using an interface (HMI) on smart-phones. Co-Driver-based ADAS systems exploit connections between vehicles and (smart) roads provided by SAFESTRIP to cover several safety-critical use cases: pedestrian protection, wrong-way vehicles on-ramps, work-zones on roads and intersections. The ADAS provide personalized warning messages that account for the adaptive driver behavior to maximize the acceptance of the system. The ability of the framework to predict human drivers’ intention is exploited in a second application to improve environmental sustainability. We employ it to feed with the estimated speed profile a novel online Model Predictive Control (MPC) approach for Hybrid Electric Vehicles, introducing a state-of-the-art electrochemical model of the battery. Such control aims at preserving battery life and fuel consumption through equivalent costs. We validated the approach with actual driving data used to simulate vehicles and the power-train dynamics. At last, we address the traffic efficiency problem in the context of autonomous vehicles crossing an intersection. We propose an intersection management system for Connected Autonomous Vehicles based on a bi-level optimization framework. The motion planning of the vehicle is provided by a simplified optimal control problem, while we formulate the intersection management problem (in terms of order and timing) as a Mixed Integer Non-Linear Programming. The latter approximates a linear problem with a powerful piecewise linearization technique. Therefore, thanks to this technique, we can bound the error and employ commercial solvers to solve the problem (fast enough). Finally, this framework is validated in simulation and compared with the "Fist-Arrived First-Served" approach to show the impact of the proposed algorithm.

No description available.

Depuis sa première observation, la génération d'harmoniques d'ordre élevé (GHOE) dans les gaz a demontré son importance, ouvrant la voie à la science attoseconde. Cette technique produit un rayonnement impulsionnel XUV qui s'étend dans le domaine spectral intermédiaire entre l'ultraviolet et les rayons X. Ces impulsions attosecondes donnent accès à des résolutions temporelles extrêmes, permettant ainsi d'observer des dynamiques électroniques dans des atomes ou des molécules. En effet le processus de généneration d'harmonique repose sur l'oscillation de paquets d'électrons attosecondes issus des molécules, accélérés par le champ de laser intense et se recombinant radiativement avec leurs ions moléculaires parents. Ainsi, le rayonnement harmonique émis lors de la recombinaison permet d'encoder l'information structurale sur le ou les orbitales impliquées avec une résolution spatiale de l'ordre l'Angström et temporelle femtoseconde ou attoseconde. La génération d'harmonique peut être utilisée comme signal de sonde dans des expériences de spectroscopie pompe-sonde résolue en temps. Ces expériences de spectroscopie harmoniques permettent d'étudier la structure des orbitales et les dynamiques moléculaires ultra-rapides. L'objectif de cette thèse est d'utiliser le processus de la GHOE, pour sonder les processus fondamentaux qui interviennent dans les atomes, les molécules et la matière condensée. Tout d'abord, pour comprendre comment extraire des informations dynamiques ou structurelles sur les orbitales à partir du signal harmonique nous avons étudié un système simple et connu: l'argon. Une nouvelle approche théorique développée par Fabre et Pons a permis de reproduire fidèlement l'expérience. Nous avons continué à étudier la structure et la dynamique moléculaire dans N2 et CO2. Les molécules issues d'un jet supersonique Even-Lavie qui permettait d'obtenir des températures rotationelles de moins de 10K ont été alignées par laser avec un fort degré d'alignement. Ce type de jet permet d'améliorer la sensibilité à la structure des orbitales impliquées et d'identifier la contribution de plusieurs orbitales. Ensuite nous avons utilisé la sensibilité de la génération des harmoniques d'ordre élevé à la structure des orbitales moléculaires pour sonder la dynamique complexe du NO2 excité autour d'une intersection conique. Nous avons appliqué la méthode du réseau d'excitation transitoire qui permet d'améliorer la sensibilité aux molécules excitées. Nous avons donc mené une étude dans les agrégats. A l'aide d'une étude différentielle en température et d'une méthode de cartographie spectrale et spatiale, nous avons pu isoler la contibution des grands agrégats. Notre analyse suggère un nouveau mécanisme de génération par des agrégats et permet même une estimation de la longeur de corrélation des électrons dans les agrégats. Ce manuscrit se termine avec la présentation d'une ligne de lumière XUV. Cette technique consiste à utiliser le rayonnement XUV fs produit par la GHOE comme impulsion sonde pour ioniser des fragments de dissociation moléculaire à l'aide d'une transition à un photon. / Since the first observation of high-order harmonic spectra in gases, high harmonic generation (HHG) has demonstrated its importance, opening a door to the field of attosecond sience. The bandwidth of the emitted spectrum reaches up to the XUV. The attosecond pules reach a very high time resolution, allowing the study of electron dynamics in atoms or molecules. The generation mechanism of HHG is based on the oscillation of the attosecond electron wavepacket emitted by the atoms/molecules, accelerated by the laser field. The electron wavepacket finally recombines radiatively with its parent ion. Thus the structural information of the probed orbital is encoded in the high harmonic spectrum with a spatial resolution of one Angtröm and a temporal resolution of few femtoseconds. HHG can be used as a probe signal resolved for pump-probe spectroscopy. High harmonic spectroscopy allows the study of the orbital structure and ultra-fast molecular dynamics.In this thesis the fundamental mechanisms playing a role in atoms, molecules and condensed matter are probed using HHG. In order to understand how to extract dynamical and structural information of orbitals from a harmonic signal, we have studied an easy and well known systems: the argon atom. A new theoretical approach developped by Fabre and Pons allowed us to reproduce the experimental results in good agreement. We continued with a study of the molecular structure and dynamics of N2 and CO2. A supersonic Even-Lavie jet permitted to reach rotational temperatures lower than 10K with an excellent alignment distribution. Owing to the good alignment in such gas jet, we were able to resolve the orbital structure with a higher sensitivity and to identify the contribution of several orbitals. In the next step we used the sensitivity of HHG towards the structure of molecular orbitals in order to probe the complex dynamics of NO2 in the vicinity of a conical intersection. We applied HHG combined with transient grating spectroscopy which leads to a higher sensitivity of the excited molecules. We then continued with studying cluster. We were able to disentangle the contribution of large clusters to the harmonic signal due to a 2D spatio-spectral representation of a temperature dependent differential measurement. Our analysis suggests a new generation mechanism in clusters and allows an estimation of the electron correlation length in clusters. This thesis ends with the presentation of a XUV beamline. This technique uses the emitted fs-XUV radiation, provided by HHG, as a probe pulse for ionizing the photofragments by a one photon transition.

Les molécules aromatiques protonées jouent un rôle important dans les réactions de substitution électrophile aromatique, et dans différents processus biologiques. Ces molécules sont présentes aussi dans d’autres milieux tels que les flammes de combustion, les plasmas de divers hydrocarbures, les ionosphères planétaires (Titan) et le milieu interstellaire. Les molécules protonées sont très stables car elles ont des couches électroniques complètes mais elles sont en général très sensibles à leur environnement local car elles sont chargées : une étude en phase gazeuse est nécessaire pour déterminer leurs propriétés intrinsèques. Jusqu’à présent, très peu de chose était connu sur les molécules protonées isolées en phase gazeuse, seulement quelques résultats étaient disponibles. Ce manque de données venait de la difficulté de générer des molécules protonées en phase gazeuse et surtout de les produire à basse température (la protonation est une réaction exothermique). Récemment, des progrès ont permis d’étudier les molécules protonées en phase gazeuse à très basse température, en particulier par le développement des sources ioniques couplées avec des techniques d'expansion de jet supersonique. Grâce à cette technique on a enregistré le spectre photo fragmentation de l’état fondamental vers le premier état excité (S1←S0) de différentes molécules aromatiques protonées en phase gazeuse. Les molécules que nous avons étudiées peuvent être regroupées en quatre familles : Les molécules polycycliques aromatiques protonées linéaires (benzène, naphtalène, anthracène, tétracène, pentacène). Les molécules polycycliques aromatiques protonées non linéaires (fluorène, phénanthrène, pyrène). Les molécules protonées contenant un hétéro atome (benzaldéhyde, salicylaldéhyde, 1-naphthol et 2-naphthol, indole, aniline). Les agrégats protonés (dimère de benzène, naphtalène (H2O)n, n=1,2,3. naphtalène (NH3)n, n=1,2,3, benzaldéhyde (Ar , N2)). Dans les spectres enregistrés presque toutes les transitions électroniques S1←S0 sont décalées vers le rouge (basse énergie) par rapport à celui des molécules parentes neutres. Ce décalage est dû au caractère transfert de charge du premier état excité. Certains spectres sont résolus vibrationnellement, alors que pour d'autres molécules le spectre ne présente pas de progression vibrationnelle à cause d’un dynamique très rapide de l’état excité menant par des intersections coniques à l’état fondamental. Les spectres d’absorption des molécules protonées sont plus riches en vibrations par comparaison avec les molécules neutre. Cela reflète le changement relativement important de géométrie de l’état excité dû à son caractère transfert de charge. Les résultats expérimentaux ont été complétés par des calculs ab-initio qui ont permis de localiser la transition électronique, déterminer la structure géométrique et électronique, les modes de vibration et, pour certaines de ces molécules, la dynamique de l’état excité. Les calculs sont en général en très bon accord avec les expériences. / Protonated aromatic molecules play an important role in electrophilic aromatic substitution reactions, fundamental reactions in organic chemistry and in various biological processes. The interstellar medium is another environment which is likely to contain the protonated aromatic molecules, that’s because these molecules are stable chemically since they are close shell electronic structure. These molecules were also identified in others environments such as combustion flames, plasmas of various hydrocarbons and the upper atmosphere of Titan. Protonated molecules are usually very sensitive to their local environment; a gas phase study is required to determine their intrinsic properties. Until now, very little is known about the isolated protonated molecules, only a few results are available in the literature. This lack of data is due to the difficulties of the production and the cooling of these molecules in gas phase. The technical progress we have done has enabled the study of protonated molecules in the gas phase at very low temperatures, using an ion sources, supersonic jet and the laser induced photofragmentation techniques. Using this technique, we have recorded many electronic spectra (S1←S0) of different protonated molecules. We can regroup the studied molecules into four: Linear protonated polycyclic aromatic molecules (benzene, naphthalene, anthracene, tetracene, pentacene). Nonlinear protonated polycyclic aromatic molecules (fluorene, phenanthrene, pyrene). Protonated molecules containing an hetero atom (benzaldehyde, salicylaldehyde, 1-naphthol and 2-naphthol, indole, aniline). Protonated cluster (dimer of benzene, naphthalene (H2O)n, n = 1,2,3. Naphthalene (NH3)n, n = 1,2,3, benzaldehyde (Ar, N2)). Most of those spectra are red-shifted compare to the spectrums of neutral parent molecules. This red-shift is due to charge transfer character of the first excited state. Some spectra are vibrationally resolved, while for other molecules the spectrum do not shows any vibrational progression. This behaviour is explained by the dynamic of the excited state, this dynamic being usually is very fast, sometimes leading to the ground state through a conical intersection. The spectra of protonated molecules are very active vibrationally in comparison with neutral molecules, many vibrational modes forbidden for neutral molecule becomes active for the protonated one (Franck-Condon factor is not zero). This is reflecting the charge transfer character of the excited state. The experimental results were complemented by ab-initio calculations, which have allowed determining the electronic transition, the geometric and electronic structure of the molecule, the vibrational modes, and for some of these molecules the dynamics of excited state. Calculations are generally in very good agreement with experiments.

Dans le secteur des soins de santé, les données d'images médicales toujours croissantes, le développement de technologies d'imagerie, la conservation à long terme des données médicales et l'augmentation de la résolution des images entraînent une croissance considérable du volume de données. En outre, la variété des dispositifs d'acquisition et la différence de préférences des médecins ou d'autres professionnels de la santé ont conduit à une grande variété de données. Bien que la norme DICOM (Digital Imaging et Communication in Medicine) soit aujourd'hui largement adoptée pour stocker et transférer les données médicales, les données DICOM ont toujours les caractéristiques 3V du Big Data: volume élevé, grande variété et grande vélocité. En outre, il existe une variété de charges de travail, notamment le traitement transactionnel en ligne (en anglais Online Transaction Processing, abrégé en OLTP), le traitement analytique en ligne (anglais Online Analytical Processing, abrégé en OLAP) et les charges de travail mixtes. Les systèmes existants ont des limites concernant ces caractéristiques des données et des charges de travail. Dans cette thèse, nous proposons de nouvelles méthodes efficaces pour stocker et interroger des données DICOM. Nous proposons un modèle de stockage hybride des magasins de lignes et de colonnes, appelé HYTORMO, ainsi que des stratégies de stockage de données et de traitement des requêtes. Tout d'abord, HYTORMO est conçu et mis en œuvre pour être déployé sur un environnement à grande échelle afin de permettre la gestion de grandes données médicales. Deuxièmement, la stratégie de stockage de données combine l'utilisation du partitionnement vertical et un stockage hybride pour créer des configurations de stockage de données qui peuvent réduire la demande d'espace de stockage et augmenter les performances de la charge de travail. Pour réaliser une telle configuration de stockage de données, l'une des deux approches de conception de stockage de données peut être appliquée: (1) conception basée sur des experts et (2) conception automatisée. Dans la première approche, les experts créent manuellement des configurations de stockage de données en regroupant les attributs des données DICOM et en sélectionnant une disposition de stockage de données appropriée pour chaque groupe de colonnes. Dans la dernière approche, nous proposons un cadre de conception automatisé hybride, appelé HADF. HADF dépend des mesures de similarité (entre attributs) qui prennent en compte les impacts des informations spécifiques à la charge de travail et aux données pour générer automatiquement les configurations de stockage de données: Hybrid Similarity (combinaison pondérée de similarité d'accès d'attribut et de similarité de densité d'attribut) les attributs dans les groupes de colonnes; Inter-Cluster Access Similarity est utilisé pour déterminer si deux groupes de colonnes seront fusionnés ou non (pour réduire le nombre de jointures supplémentaires); et Intra-Cluster Access La similarité est appliquée pour décider si un groupe de colonnes sera stocké dans une ligne ou un magasin de colonnes. Enfin, nous proposons une stratégie de traitement des requêtes adaptée et efficace construite sur HYTORMO. Il considère l'utilisation des jointures internes et des jointures externes gauche pour empêcher la perte de données si vous utilisez uniquement des jointures internes entre des tables partitionnées verticalement. De plus, une intersection de filtres Bloom (intersection of Bloom filters, abrégé en ) est appliqué pour supprimer les données non pertinentes des tables d'entrée des opérations de jointure; cela permet de réduire les coûts d'E / S réseau. (...) / In the health care industry, the ever-increasing medical image data, the development of imaging technologies, the long-term retention of medical data and the increase of image resolution are causing a tremendous growth in data volume. In addition, the variety of acquisition devices and the difference in preferences of physicians or other health-care professionals have led to a high variety in data. Although today DICOM (Digital Imaging and Communication in Medicine) standard has been widely adopted to store and transfer the medical data, DICOM data still has the 3Vs characteristics of Big Data: high volume, high variety and high velocity. Besides, there is a variety of workloads including Online Transaction Processing (OLTP), Online Analytical Processing (OLAP) and mixed workloads. Existing systems have limitations dealing with these characteristics of data and workloads. In this thesis, we propose new efficient methods for storing and querying DICOM data. We propose a hybrid storage model of row and column stores, called HYTORMO, together with data storage and query processing strategies. First, HYTORMO is designed and implemented to be deployed on large-scale environment to make it possible to manage big medical data. Second, the data storage strategy combines the use of vertical partitioning and a hybrid store to create data storage configurations that can reduce storage space demand and increase workload performance. To achieve such a data storage configuration, one of two data storage design approaches can be applied: (1) expert-based design and (2) automated design. In the former approach, experts manually create data storage configurations by grouping attributes and selecting a suitable data layout for each column group. In the latter approach, we propose a hybrid automated design framework, called HADF. HADF depends on similarity measures (between attributes) that can take into consideration the combined impact of both workload- and data-specific information to generate data storage configurations: Hybrid Similarity (a weighted combination of Attribute Access and Density Similarity measures) is used to group the attributes into column groups; Inter-Cluster Access Similarity is used to determine whether two column groups will be merged together or not (to reduce the number of joins); and Intra-Cluster Access Similarity is applied to decide whether a column group will be stored in a row or a column store. Finally, we propose a suitable and efficient query processing strategy built on top of HYTORMO. It considers the use of both inner joins and left-outer joins. Furthermore, an Intersection Bloom filter () is applied to reduce network I/O cost.We provide experimental evaluations to validate the benefits of the proposed methods over real DICOM datasets. Experimental results show that the mixed use of both row and column stores outperforms a pure row store and a pure column store. The combined impact of both workload-and data-specific information is helpful for HADF to be able to produce good data storage configurations. Moreover, the query processing strategy with the use of the can improve the execution time of an experimental query up to 50% when compared to the case where no is applied.

Private set intersection(PSI) is a two party protocol where both parties possess a private set and at the end of the protocol, one party (client) learns the intersection while other party (server) learns nothing. Motivated by some interesting practical applications, several provably secure and efficient PSI protocols have appeared in the literature in recent past. Some of the proposed solutions are secure in the honest-but-curious (HbC) model while the others are secure in the (stronger) malicious model. Security in the latter is traditionally achieved by following the classical approach of attaching a zero knowledge proof of knowledge (ZKPoK) (and/or using the so-called cut-and-choose technique). These approaches prevent the parties from deviating from normal protocol execution, albeit with significant computational overhead and increased complexity in the security argument, which includes incase of ZKPoK, knowledge extraction through rewinding. We critically investigate a subset of the existing protocols. Our study reveals some interesting points about the so-called provable security guarantee of some of the proposed solutions. Surprisingly, we point out some gaps in the security argument of several protocols. We also discuss an attack on a protocol when executed multiple times between the same client and server. The attack, in fact, indicates some limitation in the existing security definition of PSI. On the positive side, we show how to correct the security argument for the above mentioned protocols and show that in the HbC model the security can be based on some standard computational assumption like RSA and Gap Diffie-Hellman problem. For a protocol, we give improved version of that protocol and prove security in the HbC model under standard computational assumption. For the malicious model, we construct two PSI protocols using deterministic blind signatures i.e., Boldyreva’s blind signature and Chaum’s blind signature, which do not involve ZKPoK or cut-and-choose technique. Chaum’s blind signature gives a new protocol in the RSA setting and Boldyreva’s blind signature gives protocol in gap Diffie-Hellman setting which is quite similar to an existing protocol but it is efficient and does not involve ZKPoK.